diff options
| author | herbelin | 2000-11-24 19:59:08 +0000 |
|---|---|---|
| committer | herbelin | 2000-11-24 19:59:08 +0000 |
| commit | 0832467f0b4445f7b4c5f8e9ab417e585362ed9c (patch) | |
| tree | 6dfac62c782faf282c192509be02fc443d120218 /dev | |
| parent | 41e0e7066c16078bc798d16a6d8d2eb66d10b59c (diff) | |
Paramètrage de ocamldebug-v7 par configure à partir d'un 'template'
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@949 85f007b7-540e-0410-9357-904b9bb8a0f7
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" |