Conversion du fichier 'revision' en un fichier .ml + correction d'un bug dans le configure introduit par les révisions 11754 et 11755

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

1 files changed, 4 insertions, 11 deletions

diff --git a/configure b/configure
index 8e44ead7ad..e946f52ddb 100755
--- a/configure
+++ b/configure
@@ -9,7 +9,7 @@
 VERSION=trunk
 VOMAGIC=08193 
 STATEMAGIC=19764
-DATE="date unspecified"
+DATE=`date +"%B %Y"`
 
 # Create the bin/ directory if non-existent
 test -d bin || mkdir bin
@@ -252,15 +252,6 @@ if [ $prefix_spec = yes -a $local = true ] ; then
   exit 1
 fi
 
-# compile date
-DATEPGM=`which date`
-case $DATEPGM in
-    "") echo "I can't find the program \"date\" in your path."
-        echo "Please give me the current date"
-	read COMPILEDATE;;
-    *)  COMPILEDATE=`date +"%h %d %Y %H:%M:%S"`;;
-esac
-
 # Architecture
 
 case $arch_spec in
@@ -884,6 +875,7 @@ case $ARCH in
         ESCCOQTOP="$COQTOP"
 	ESCBINDIR="$BINDIR"
 	ESCSRCDIR="$COQSRC"
+	ESCDOSSRCDIR="$COQSRC"
 	ESCLIBDIR="$LIBDIR"
 	ESCCAMLDIR="$CAMLBIN"
 	ESCCAMLLIB="$CAMLLIB"
@@ -894,6 +886,8 @@ case $ARCH in
    	ESCCAMLP4BIN="$CAMLP4BIN"
    	ESCCAMLP4LIB="$CAMLP4LIB"
 	ESCLABLGTKINCLUDES="$LABLGTKINCLUDES"
+	ESCCOQRUNBYTEFLAGS="$COQRUNBYTEFLAGS"
+	ESCBUILDLDPATH="$BUILDLDPATH"
 	;;
 esac
 
@@ -917,7 +911,6 @@ let has_natdynlink = $HASNATDYNLINK
 let osdeplibs = "$OSDEPLIBS"
 let version = "$VERSION"
 let date = "$DATE"
-let compile_date = "$COMPILEDATE"
 let vo_magic_number = $VOMAGIC
 let state_magic_number = $STATEMAGIC
 let exec_extension = "$EXE"