Experimental build of coqtop.exe + plugins via cross-compilation linux-->win32

 Ideally, just install the cross-compiler (mingw32-ocaml on debian)
 and launch ./configure -local && ./build win32

 For the moment, this needs some twicking of mingw32-ocaml, plus
 a mingw32-camlp5 which is not yet distributed. If you want to play with
 that, contact me...

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12792 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 3 insertions, 0 deletions

diff --git a/build b/build
index 26237b705b..96f2a07433 100755
--- a/build
+++ b/build
@@ -16,6 +16,9 @@ ocb()
 
 rule() {
   case $1 in
+    win32)  check_config
+            sed -i 's/let arch = .*$/let arch = "win32"/' config/coq_config.ml && \
+	    $OCAMLBUILD toplevel/coqtop.native plugins/pluginsopt.otarget;;
     clean)  ocb -clean && rm -rf bin/* && rm -f myocamlbuild_config.ml;;
     all)    ocb coq.otarget;;
     *)      ocb $1;;