Misc changes around coqtop.ml :

 - Revised Coqtop.parse_args in a cleaner and lighter style
 - Improved error message in case of argument parse failure:
   * tell which option is expecting a related argument
   * in case of unknown options, warn about them all at once
   * do not hide the previous error messages by filling the
     screen with usage(). Instead, suggest the use of --help.
 - Specialized boolean config field Coq_config.arch_is_win32
 - Faster Envars.coqlib, which is back to (unit->string), and
   just access Flags.coqlib. Caveat: it must be initialized once
   via Envars.set_coqlib
 - Avoid keeping an opened channel to the "revision" file
 - Direct load of theories/init/prelude.vo, no detour via Loadpath

Beware : ./configure must be runned after this commit

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

1 files changed, 5 insertions, 2 deletions

diff --git a/configure b/configure
index 43317f1f5..1cfb4f125 100755
--- a/configure
+++ b/configure
@@ -311,10 +311,12 @@ esac
 # executable extension
 
 case $ARCH in
-    win32) 
+    win32)
+      ARCH_WIN32=true
       EXE=".exe"
       DLLEXT=".dll";;
-    *) EXE=""
+    *) ARCH_WIN32=false
+       EXE=""
        DLLEXT=".so"
 esac
 
@@ -1042,6 +1044,7 @@ let coqideincl = "$LABLGTKINCLUDES"
 let cflags = "$cflags"
 let best = "$best_compiler"
 let arch = "$ARCH"
+let arch_is_win32 = $ARCH_WIN32
 let has_coqide = "$COQIDE"
 let gtk_platform = \`$IDEARCHDEF
 let has_natdynlink = $HASNATDYNLINK