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