From 5cd8c126ecca11d6b0325daae52e4aac38721ba1 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 31 Dec 2004 13:25:22 +0000
Subject: Remplacement ocamldebug-v7 par ocamldebug-coq (2ème)

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

(limited to 'dev')

diff --git a/dev/ocamldebug-v7 b/dev/ocamldebug-v7
index b3bc324f82..1ebbf1e109 100755
--- a/dev/ocamldebug-v7
+++ b/dev/ocamldebug-v7
@@ -2,10 +2,10 @@
 
 # wrap around ocamldebug for Coq
 
-export COQTOP=/home/herbelin/coq/V7trad
-export COQLIB=/home/herbelin/coq/V7trad
+export COQTOP=/home/herbelin/coq/V8
+export COQLIB=/home/herbelin/coq/V8
 export COQTH=$COQLIB/theories
-CAMLBIN=/usr/local/bin
+CAMLBIN=/usr/bin
 OCAMLDEBUG=$CAMLBIN/ocamldebug
 export CAMLP4LIB=`$CAMLBIN/camlp4 -where`
 
-- 
cgit v1.2.3