module Library

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

1 files changed, 3 insertions, 3 deletions

diff --git a/configure b/configure
index 8da11ae6c..0cdd5f36a 100755
--- a/configure
+++ b/configure
@@ -237,15 +237,15 @@ esac
 
 # Objective Caml programs
 
-CAMLC=`which ocamlc`
+CAMLC=`which $bytecamlc`
 case $CAMLC in
-	"") echo "ocamlc is not present in your path !"
+	"") echo "$bytecamlc is not present in your path !"
 	echo "Give me manually the path to the ocamlc executable [/usr/local/bin by default]: "
 	read CAMLC
 	
 	case $CAMLC in
 		"") CAMLC=/usr/local/bin/ocamlc;;
-		*/ocamlc) true;;
+		*/ocamlc|*/ocamlc.opt) true;;
 		*/) CAMLC=${CAMLC}ocamlc;;
 		*) CAMLC=${CAMLC}/ocamlc;;
 	esac;;