diff options
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` |