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.run | |
| parent | 420f78b2caeaaddc6fe484565b2d0e49c66888e5 (diff) | |
Imported Upstream version 8.5~beta1+dfsg
Diffstat (limited to 'dev/ocamldebug-coq.run')
| -rw-r--r-- | dev/ocamldebug-coq.run | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/dev/ocamldebug-coq.run b/dev/ocamldebug-coq.run new file mode 100644 index 00000000..d4ab22ce --- /dev/null +++ b/dev/ocamldebug-coq.run @@ -0,0 +1,34 @@ +#!/bin/sh + +# Wrapper around ocamldebug for Coq + +# This file is to be launched via the generated script ocamldebug-coq, +# which will set the env variables $OCAMLDEBUG, $CAMLP4LIB, $COQTOP +# Anyway, just in case someone tries to use this script directly, +# here are some reasonable default values + +[ -z "$OCAMLDEBUG" ] && OCAMLDEBUG=ocamldebug +[ -z "$CAMLP4LIB" ] && CAMLP4LIB=+camlp5 +[ -z "$COQTOP" -a -d "$PWD/kernel" ] && COQTOP=$PWD +[ -z "$COQTOP" -a -d "$PWD/../kernel" ] && COQTOP=`dirname $PWD` + +exec $OCAMLDEBUG \ + -I $CAMLP4LIB \ + -I $COQTOP \ + -I $COQTOP/config -I $COQTOP/printing -I $COQTOP/grammar \ + -I $COQTOP/lib -I $COQTOP/intf -I $COQTOP/kernel \ + -I $COQTOP/library -I $COQTOP/pretyping -I $COQTOP/parsing \ + -I $COQTOP/interp -I $COQTOP/proofs -I $COQTOP/tactics -I $COQTOP/stm \ + -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 \ + "$@" |