diff options
author | Samuel Mimram <samuel.mimram@ens-lyon.org> | 2004-07-28 21:54:47 +0000 |
---|---|---|
committer | Samuel Mimram <samuel.mimram@ens-lyon.org> | 2004-07-28 21:54:47 +0000 |
commit | 6b649aba925b6f7462da07599fe67ebb12a3460e (patch) | |
tree | 43656bcaa51164548f3fa14e5b10de5ef1088574 /dev/ocamldebug-v7.template |
Imported Upstream version 8.0pl1upstream/8.0pl1
Diffstat (limited to 'dev/ocamldebug-v7.template')
-rw-r--r-- | dev/ocamldebug-v7.template | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/dev/ocamldebug-v7.template b/dev/ocamldebug-v7.template new file mode 100644 index 00000000..96c53192 --- /dev/null +++ b/dev/ocamldebug-v7.template @@ -0,0 +1,41 @@ +#!/bin/sh + +# wrap around ocamldebug for Coq + +export COQTOP=COQTOPDIRECTORY +export COQLIB=COQLIBDIRECTORY +export COQTH=$COQLIB/theories +CAMLBIN=CAMLBINDIRECTORY +OCAMLDEBUG=$CAMLBIN/ocamldebug +export CAMLP4LIB=`$CAMLBIN/camlp4 -where` + +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/config \ + -I $COQTOP/lib -I $COQTOP/kernel \ + -I $COQTOP/library -I $COQTOP/pretyping -I $COQTOP/parsing \ + -I $COQTOP/interp -I $COQTOP/proofs -I $COQTOP/tactics \ + -I $COQTOP/toplevel -I $COQTOP/dev -I $COQTOP/config \ + -I $COQTOP/translate \ + -I $COQTOP/contrib/correctness \ + -I $COQTOP/contrib/extraction -I $COQTOP/contrib/field \ + -I $COQTOP/contrib/fourier -I $COQTOP/contrib/graphs \ + -I $COQTOP/contrib/interface -I $COQTOP/contrib/jprover \ + -I $COQTOP/contrib/omega -I $COQTOP/contrib/romega \ + -I $COQTOP/contrib/ring -I $COQTOP/contrib/xml \ + $* $args;; + *) exec $OCAMLDEBUG $*;; +esac |