From 866ef538adffca2bd4e3f8c6846907ebd377216a Mon Sep 17 00:00:00 2001
From: herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Thu, 8 Apr 2004 14:01:29 +0000
Subject: 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
---
 configure | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'configure')

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;;
-- 
cgit v1.2.3