diff options
Diffstat (limited to 'dev/ocamldebug-v7.template')
| -rw-r--r-- | dev/ocamldebug-v7.template | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/dev/ocamldebug-v7.template b/dev/ocamldebug-v7.template new file mode 100644 index 0000000000..362f63b9e8 --- /dev/null +++ b/dev/ocamldebug-v7.template @@ -0,0 +1,34 @@ +#!/bin/sh + +# wrap around ocamldebug for Coq + +export COQTOP=COQTOPDIRECTORY +export COQLIB=COQLIBDIRECTORY +export COQTH=$COQLIB/theories +export CAMLP4LIB=CAMLP4LIBDIRECTORY +CAMLBIN=CAMLBINDIRECTORY +OCAMLDEBUG=$CAMLBIN/ocamldebug + +args="" +coqdebug="no" +for op in $* + do case `basename $op` in + coq-debug-programs.out) + coqdebug="yes" + args="-is programs.coq";; + coq*) coqdebug="yes";; + esac +done + +case $coqdebug in + yes) + exec $OCAMLDEBUG \ + -I $CAMLP4LIB \ + -I $COQTOP/lib -I $COQTOP/kernel \ + -I $COQTOP/library -I $COQTOP/pretyping -I $COQTOP/parsing \ + -I $COQTOP/proofs -I $COQTOP/tactics \ + -I $COQTOP/toplevel -I $COQTOP/dev \ + -I $COQTOP/contrib/omega -I $COQTOP/contrib/ring \ + $* $args;; + *) exec $OCAMLDEBUG $*;; +esac |