From 726edc7a9dfaac6862dd071e8c7e6c0df56562d5 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Wed, 26 Jan 2000 23:40:56 +0000
Subject: 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
---
 configure | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/configure b/configure
index c0e81c8eee..27fdc02705 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
-- 
cgit v1.2.3