diff options
Diffstat (limited to 'dev')
| -rw-r--r--[-rwxr-xr-x] | dev/ocamldebug-v7.template (renamed from dev/ocamldebug-v7) | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/dev/ocamldebug-v7 b/dev/ocamldebug-v7.template index 4d8e3092ac..362f63b9e8 100755..100644 --- a/dev/ocamldebug-v7 +++ b/dev/ocamldebug-v7.template @@ -2,13 +2,12 @@ # wrap around ocamldebug for Coq -# export COQTOP=`coqtop -where` -export COQTOP=$HOME/coq/V7 -export COQLIB=$COQTOP +export COQTOP=COQTOPDIRECTORY +export COQLIB=COQLIBDIRECTORY export COQTH=$COQLIB/theories -export CAMLP4LIB=`camlp4 -where` -CAMLBIN=`which ocamlc` -OCAMLDEBUG=`dirname $CAMLBIN`/ocamldebug +export CAMLP4LIB=CAMLP4LIBDIRECTORY +CAMLBIN=CAMLBINDIRECTORY +OCAMLDEBUG=$CAMLBIN/ocamldebug args="" coqdebug="no" |