Some more adaptations for Debian-->mingw32

 * Remove option -mwindows which isnt working : the GUI binary refuses to
   launch in a real windows.

 * simplification of ./build. New way of use :
    ./configure -prefix "" -arch win32 && ./build win32
   This way we avoid any tricks with coq_config.ml.
   It is also best to avoid ./configure -local otherwise Envars.coqbin ()
   will be wrong later.

 * Avoid creation of an ad-hoc coq_config in myocamlbuild.ml

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

1 files changed, 1 insertions, 4 deletions

diff --git a/build b/build
index c03110fbda..69b47239b0 100755
--- a/build
+++ b/build
@@ -15,12 +15,9 @@ ocb() { $OCAMLBUILD $FLAGS $*; }
 rule() {
   check_config
   case $1 in
-    win32)  cp $CFG $CFG.initial && chmod 644 $CFG && \
-	    echo 'let arch = "win32"' >> $CFG &&
-	    ocb coq-win32.otarget
-	    mv -f $CFG.initial $CFG;;
     clean)  ocb -clean && rm -rf bin/* && rm -f $MYCFG;;
     all)    ocb coq.otarget;;
+    win32)  ocb coq-win32.otarget;;
     *)      ocb $1;;
   esac;
 }