diff options
| -rwxr-xr-x | configure | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -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!";; |