diff options
| author | herbelin | 2004-12-31 13:25:22 +0000 |
|---|---|---|
| committer | herbelin | 2004-12-31 13:25:22 +0000 |
| commit | 5cd8c126ecca11d6b0325daae52e4aac38721ba1 (patch) | |
| tree | a2b2b809cbb0bef22d63fe3fde55963e24d1f94d /dev | |
| parent | 387147a9a3345d70a89bd88ca3d0bb086885d557 (diff) | |
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
Diffstat (limited to 'dev')
| -rwxr-xr-x | dev/ocamldebug-v7 | 6 |
1 files changed, 3 insertions, 3 deletions
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` |