diff options
Diffstat (limited to 'dev/ocamldebug-v7')
-rwxr-xr-x | dev/ocamldebug-v7 | 35 |
1 files changed, 25 insertions, 10 deletions
diff --git a/dev/ocamldebug-v7 b/dev/ocamldebug-v7 index bad484c41..dc6c2279d 100755 --- a/dev/ocamldebug-v7 +++ b/dev/ocamldebug-v7 @@ -2,18 +2,33 @@ # wrap around ocamldebug for Coq -export COQTOP=$constr/V7 +# export COQTOP=`coqtop -where` +export COQTOP=/users/homepc89/jcf/coq/V7 +export COQLIB=$COQTOP +export COQTH=$COQLIB/theories export CAMLP4LIB=`camlp4 -where` CAMLBIN=`which ocamlc` OCAMLDEBUG=`dirname $CAMLBIN`/ocamldebug -exec $OCAMLDEBUG \ - -I $CAMLP4LIB \ - -I $COQTOP/lib \ - -I $COQTOP/dev \ - -I $COQTOP/kernel \ - -I $COQTOP/parsing \ - -I $COQTOP/toplevel \ - $* - +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 \ + $* $args;; + *) exec $OCAMLDEBUG $*;; +esac |