From 0439543db9f3be84d59cfdc1dcad34bd114036e3 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Mon, 4 Feb 2019 18:16:39 +0100
Subject: [dune] Fix Dune build in Windows.

In order for Dune to work in Windows we need to tweak some script
calls, they need a POSIX shell and the `(run ...)` / `(system ...)`
actions use `cmd.exe` on Windows.

Hopefully, we will rely less on `bash` when Dune can understand Coq
libraries. This affects shell scripts in `kernel/**.sh` for example.

It is interesting to see how faster the Coq Windows build is with Dune
+ Windows.

There are some problems with PATHs that prevent the test suite from
working, these will be fixed in a future PR.
---
 kernel/byterun/dune | 4 ++--
 kernel/dune         | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

(limited to 'kernel')

diff --git a/kernel/byterun/dune b/kernel/byterun/dune
index 3a714a8a59..c3c44670be 100644
--- a/kernel/byterun/dune
+++ b/kernel/byterun/dune
@@ -6,5 +6,5 @@
 
 (rule
  (targets coq_jumptbl.h)
- (deps (:h-file coq_instruct.h))
- (action (run ./make_jumptbl.sh %{h-file} %{targets})))
+ (deps (:h-file coq_instruct.h) make_jumptbl.sh)
+ (action (bash "./make_jumptbl.sh %{h-file} %{targets}")))
diff --git a/kernel/dune b/kernel/dune
index 79161519ba..1f2d696a36 100644
--- a/kernel/dune
+++ b/kernel/dune
@@ -8,8 +8,8 @@
 
 (rule
  (targets copcodes.ml)
- (deps (:h-file byterun/coq_instruct.h) make-opcodes)
- (action (run ./make_opcodes.sh %{h-file} %{targets})))
+ (deps (:h-file byterun/coq_instruct.h) make-opcodes make_opcodes.sh)
+ (action (bash "./make_opcodes.sh %{h-file} %{targets}")))
 
 (executable
   (name write_uint63)
-- 
cgit v1.2.3