From f68e8034cd7d146be3dd5fc25b5a897da319655d Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 24 Apr 2007 21:20:56 +0000
Subject: Le configure et le README accordent leurs violons pour exiger ocaml
 3.07 (restera à accorder les .spec)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9792 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 configure | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/configure b/configure
index 3486db8257..5163f1183c 100755
--- a/configure
+++ b/configure
@@ -315,16 +315,16 @@ if [ `uname -s` = "FreeBSD" ]; then camlp4oexec=$camlp4oexec.byte; fi
 CAMLVERSION=`"$bytecamlc" -v | sed -n -e 's|.*version* *\(.*\)$|\1|p' `
 
 case $CAMLVERSION in
-    1.*|2.*|3.00|3.01|3.02|3.03|3.03alpha|3.04|3.05beta|3.05|3.08.0)
+    1.*|2.*|3.00|3.01|3.02|3.03|3.03alpha|3.04|3.05beta|3.05|3.06|3.08.0)
 	echo "Your version of Objective-Caml is $CAMLVERSION."
 	if [ "$CAMLVERSION" = "3.08.0" ] ; then
-	    echo "You need Objective-Caml 3.06 or later (to the exception of 3.08.0)!"
+	    echo "You need Objective-Caml 3.07 or later (to the exception of 3.08.0)!"
 	else
-	    echo "You need Objective-Caml 3.06 or later!"
+	    echo "You need Objective-Caml 3.07 or later!"
 	fi
 	echo "Configuration script failed!"
 	exit 1;;
-    3.06|3.07*|3.08*)
+    3.07*|3.08*)
 	echo "You have Objective-Caml $CAMLVERSION. Good!";;
     ?*)
 	CAMLP4COMPAT="-loc loc" 
-- 
cgit v1.2.3