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 | |
| 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
| -rwxr-xr-x | configure | 12 | ||||
| -rw-r--r--[-rwxr-xr-x] | dev/ocamldebug-v7.template (renamed from dev/ocamldebug-v7) | 11 |
2 files changed, 17 insertions, 6 deletions
@@ -438,6 +438,18 @@ esac chmod a-w $COQTOP/config/Makefile +# Building the $COQTOP/dev/ocamldebug-v7 file + +if test "$coq_debug_flag" == "-g" ; then + rm -f $COQTOP/dev/ocamldebug-v7 + sed -e "s|COQTOPDIRECTORY|$COQTOP|" \ + -e "s|COQLIBDIRECTORY|$LIBDIR|" \ + -e "s|CAMLBINDIRECTORY|$CAMLBIN|" \ + -e "s|CAMLP4LIBDIRECTORY|$CAMLP4LIB|" \ + $COQTOP/dev/ocamldebug-v7.template > $COQTOP/dev/ocamldebug-v7 + chmod a-w,a+x $COQTOP/dev/ocamldebug-v7 +fi + # Building the $COQTOP/config/coq_config.ml file mlconfig_file=$COQTOP/config/coq_config.ml 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" |