Win32 cross-compilation from debian: build of coqide.exe and other binaries

 Details will follow. In a word, we use a gtk+ win32 bundle from gtk.org
 to build some (unofficial) mingw32-liblablgtk2 debian packages. Then
  ./configure -local && ./build win32
 is enough to get all native win32 binaries and plugin cmxs from
 a confortable linux box.

 Next step: an auto-installer :-)

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

1 files changed, 1 insertions, 1 deletions

diff --git a/build b/build
index 96f2a07433..d10af67ea4 100755
--- a/build
+++ b/build
@@ -18,7 +18,7 @@ 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;;
+	    $OCAMLBUILD coq-win32.otarget;;
     clean)  ocb -clean && rm -rf bin/* && rm -f myocamlbuild_config.ml;;
     all)    ocb coq.otarget;;
     *)      ocb $1;;