3
# wrap around ocamldebug for Coq
5
export COQTOP=COQTOPDIRECTORY
6
export COQLIB=COQLIBDIRECTORY
7
export COQTH=$COQLIB/theories
8
CAMLBIN=CAMLBINDIRECTORY
9
CAMLP4LIB=CAMLP4LIBDIRECTORY
10
OCAMLDEBUG=$CAMLBIN/ocamldebug
16
-I $COQTOP/lib -I $COQTOP/kernel \
17
-I $COQTOP/library -I $COQTOP/pretyping -I $COQTOP/parsing \
18
-I $COQTOP/interp -I $COQTOP/proofs -I $COQTOP/tactics \
19
-I $COQTOP/toplevel -I $COQTOP/dev -I $COQTOP/config \
20
-I $COQTOP/contrib/extraction -I $COQTOP/contrib/field \
21
-I $COQTOP/contrib/fourier -I $COQTOP/contrib/firstorder \
22
-I $COQTOP/contrib/interface \
23
-I $COQTOP/contrib/omega -I $COQTOP/contrib/romega \
24
-I $COQTOP/contrib/ring -I $COQTOP/contrib/xml \
25
-I $COQTOP/contrib/subtac -I $COQTOP/contrib/funind \
26
-I $COQTOP/contrib/rtauto -I $COQTOP/contrib/setoid_ring \
27
-I $COQTOP/contrib/recdef -I $COQTOP/contrib/dp \