diff options
| author |  Samuel Mimram <smimram@debian.org> | 2006-04-28 14:59:16 +0000 |
|---|---|---|
| committer | Samuel Mimram <smimram@debian.org> | 2006-04-28 14:59:16 +0000 |
| commit | 3ef7797ef6fc605dfafb32523261fe1b023aeecb (patch) | |
| tree | ad89c6bb57ceee608fcba2bb3435b74e0f57919e /dev/ocamldebug-coq.template | |
| parent | 018ee3b0c2be79eb81b1f65c3f3fa142d24129c8 (diff) | |
Imported Upstream version 8.0pl3+8.1alphaupstream/8.0pl3+8.1alpha
Diffstat (limited to 'dev/ocamldebug-coq.template')
| -rw-r--r-- | dev/ocamldebug-coq.template | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/dev/ocamldebug-coq.template b/dev/ocamldebug-coq.template new file mode 100644 index 00000000..30224216 --- /dev/null +++ b/dev/ocamldebug-coq.template @@ -0,0 +1,42 @@ +#!/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 \ + -I $COQTOP/contrib/subtac \ + $* $args;; + *) exec $OCAMLDEBUG $*;; +esac |