lorsque ocamlc est donne a la main, alors ocamlopt est positionne avec

le mem chemin (et le suffixe eventuel .opt est conserve)


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

1 files changed, 3 insertions, 1 deletions

diff --git a/configure b/configure
index c0e81c8ee..27fdc0270 100755
--- a/configure
+++ b/configure
@@ -251,7 +251,9 @@ case $CAMLC in
 		*/ocamlc|*/ocamlc.opt) true;;
 		*/) CAMLC=${CAMLC}ocamlc;;
 		*) CAMLC=${CAMLC}/ocamlc;;
-	esac;;
+	esac
+	bytecamlc=$CAMLC
+	nativecamlc=`dirname $CAMLC`/$nativecamlc;;
 esac
 
 if test ! -f $CAMLC ; then