From 8f3627741f9d4624851abc7de1f3bda28b7acf9a Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 4 Jan 2008 11:04:03 +0000
Subject: Prise en compte de CAMLP4LIB via fichier configure plutôt que
 dynamiquement

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10418 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 dev/ocamldebug-coq.template | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

(limited to 'dev')

diff --git a/dev/ocamldebug-coq.template b/dev/ocamldebug-coq.template
index f921fb8a6c..978623ad22 100644
--- a/dev/ocamldebug-coq.template
+++ b/dev/ocamldebug-coq.template
@@ -6,12 +6,8 @@ export COQTOP=COQTOPDIRECTORY
 export COQLIB=COQLIBDIRECTORY
 export COQTH=$COQLIB/theories
 CAMLBIN=CAMLBINDIRECTORY
+CAMLP4LIB=CAMLP4LIBDIRECTORY
 OCAMLDEBUG=$CAMLBIN/ocamldebug
-if [ -x "$CAMLBIN/camlp5" ]; then 
-  export CAMLP4LIB=`$CAMLBIN/camlp5 -where`
-else
-  export CAMLP4LIB=`$CAMLBIN/camlp4 -where`
-fi
 
 exec $OCAMLDEBUG \
 	-I $CAMLP4LIB \
-- 
cgit v1.2.3