ocaml 3.01 requis

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

1 files changed, 4 insertions, 4 deletions

diff --git a/configure b/configure
index f96aef107..d30e9ee38 100755
--- a/configure
+++ b/configure
@@ -267,9 +267,9 @@ CAMLBIN=`dirname $CAMLC`
 CAMLVERSION=`$CAMLC -v | sed -n -e 's|.*version* *\(.*\)$|\1|p' `
 
 case $CAMLVERSION in
-  1.*|2.*)
+  1.*|2.*|3.00)
 	echo "Your version of Objective-Caml is $CAMLVERSION."
-	echo "You need Objective-Caml 3.00 or later !"
+	echo "You need Objective-Caml 3.01 or later !"
 	echo "Configuration script failed!"
 	exit 1;;
   ?*)	echo "You have Objective-Caml $CAMLVERSION. Good!";;
@@ -324,9 +324,9 @@ fi
 CAMLP4BIN=`dirname $CAMLP4`
 CAMLP4VERSION=`$CAMLP4 -v 2>&1 | sed -n -e 's|.*version *\(.*\)$|\1|p'`
 case $CAMLP4VERSION in
-  0.*|1.*|2.00*)
+  0.*|1.*|2.00|3.00*)
         echo "Your version of Camlp4 is $CAMLP4VERSION."
-	echo "You need Camlp4 3.00 or later !"
+	echo "You need Camlp4 3.01 or later !"
 	echo "Configuration script failed!"
 	exit 1;;
   ?*)	echo "You have Camlp4 $CAMLP4VERSION. Good!";;