Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Fetching contributors…

Cannot retrieve contributors at this time

file 29 lines (26 sloc) 1.16 kb
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29
#!/bin/sh

# wrap around ocamldebug for Coq

export COQTOP=COQTOPDIRECTORY
CAMLBIN=CAMLBINDIRECTORY
CAMLP4LIB=CAMLP4LIBDIRECTORY
OCAMLDEBUG=$CAMLBIN/ocamldebug

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/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 \
$*
Something went wrong with that request. Please try again.