From be746c0bbd22d9a4206216a242a6f968b4f9135f Mon Sep 17 00:00:00 2001
From: letouzey
Date: Thu, 23 Aug 2012 12:52:46 +0000
Subject: No need anymore to refer to COQLIB in ocamldebug-coq

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15751 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 configure                   | 1 -
 dev/ocamldebug-coq.template | 2 --
 2 files changed, 3 deletions(-)

diff --git a/configure b/configure
index 52d8113b35..fe43465efa 100755
--- a/configure
+++ b/configure
@@ -916,7 +916,6 @@ OCAMLDEBUGCOQ=dev/ocamldebug-coq
 if test "$coq_debug_flag" = "-g" ; then
   rm -f $OCAMLDEBUGCOQ
   sed -e "s|COQTOPDIRECTORY|$COQTOP|" \
-      -e "s|COQLIBDIRECTORY|$LIBDIR|" \
       -e "s|CAMLBINDIRECTORY|$CAMLBIN|" \
       -e "s|CAMLP4LIBDIRECTORY|$FULLCAMLP4LIB|"\
       $OCAMLDEBUGCOQ.template > $OCAMLDEBUGCOQ
diff --git a/dev/ocamldebug-coq.template b/dev/ocamldebug-coq.template
index 1a55b804ea..ffe4c6b402 100644
--- a/dev/ocamldebug-coq.template
+++ b/dev/ocamldebug-coq.template
@@ -3,8 +3,6 @@
 # wrap around ocamldebug for Coq
 
 export COQTOP=COQTOPDIRECTORY
-export COQLIB=COQLIBDIRECTORY
-export COQTH=$COQLIB/theories
 CAMLBIN=CAMLBINDIRECTORY
 CAMLP4LIB=CAMLP4LIBDIRECTORY
 OCAMLDEBUG=$CAMLBIN/ocamldebug
-- 
cgit v1.2.3