diff options
| author |  Enrico Tassi <gareuselesinge@debian.org> | 2015-01-25 14:42:51 +0100 |
|---|---|---|
| committer | Enrico Tassi <gareuselesinge@debian.org> | 2015-01-25 14:42:51 +0100 |
| commit | 7cfc4e5146be5666419451bdd516f1f3f264d24a (patch) | |
| tree | e4197645da03dc3c7cc84e434cc31d0a0cca7056 /dev/ocamldebug-coq.template | |
| parent | 420f78b2caeaaddc6fe484565b2d0e49c66888e5 (diff) | |
Imported Upstream version 8.5~beta1+dfsg
Diffstat (limited to 'dev/ocamldebug-coq.template')
| -rw-r--r-- | dev/ocamldebug-coq.template | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/dev/ocamldebug-coq.template b/dev/ocamldebug-coq.template deleted file mode 100644 index 74320588..00000000 --- a/dev/ocamldebug-coq.template +++ /dev/null @@ -1,31 +0,0 @@ -#!/bin/sh - -# wrap around ocamldebug for Coq - -export COQTOP=COQTOPDIRECTORY -export COQLIB=COQLIBDIRECTORY -export COQTH=$COQLIB/theories -CAMLBIN=CAMLBINDIRECTORY -CAMLP4LIB=CAMLP4LIBDIRECTORY -OCAMLDEBUG=$CAMLBIN/ocamldebug - -exec $OCAMLDEBUG \ - -I $CAMLP4LIB \ - -I $COQTOP \ - -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/plugins/cc -I $COQTOP/plugins/dp \ - -I $COQTOP/plugins/extraction -I $COQTOP/plugins/field \ - -I $COQTOP/plugins/firstorder -I $COQTOP/plugins/fourier \ - -I $COQTOP/plugins/funind -I $COQTOP/plugins/groebner \ - -I $COQTOP/plugins/interface -I $COQTOP/plugins/micromega \ - -I $COQTOP/plugins/omega -I $COQTOP/plugins/quote \ - -I $COQTOP/plugins/ring -I $COQTOP/plugins/romega \ - -I $COQTOP/plugins/rtauto -I $COQTOP/plugins/setoid_ring \ - -I $COQTOP/plugins/subtac -I $COQTOP/plugins/syntax \ - -I $COQTOP/plugins/xml \ - -I $COQTOP/ide \ - $* |