Incoherence bytecamlc et camlc si echec a trouver ocamlc.opt avec option -opt (cd discussion bug #611)

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

1 files changed, 4 insertions, 4 deletions

diff --git a/configure b/configure
index 89523dc14..b1c59e220 100755
--- a/configure
+++ b/configure
@@ -270,14 +270,14 @@ esac
 CAMLC=`which $bytecamlc`
 case "$CAMLC" in
 	"") echo "$bytecamlc is not present in your path !"
-	echo "Give me manually the path to the ocamlc executable [/usr/local/bin by default]: "
+	echo "Give me manually the path to the $bytecamlc executable [/usr/local/bin by default]: "
 	read CAMLC
 	
 	case "$CAMLC" in
-		"") CAMLC=/usr/local/bin/ocamlc;;
+		"") CAMLC=/usr/local/bin/$bytecamlc;;
 		*/ocamlc|*/ocamlc.opt) true;;
-		*/) CAMLC="${CAMLC}"ocamlc;;
-		*) CAMLC="${CAMLC}"/ocamlc;;
+		*/) CAMLC="${CAMLC}"$bytecamlc;;
+		*) CAMLC="${CAMLC}"/$bytecamlc;;
 	esac
 	bytecamlc="$CAMLC"
 	nativecamlc=`dirname "$CAMLC"`/$nativecamlc;;