From 043532049cf272fd870294265707febc68d1e6a5 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Wed, 24 Feb 2010 19:30:09 +0000
Subject: 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
---
 build | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'build')

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;;
-- 
cgit v1.2.3