PREDICATES =
OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -pp camlp4o
OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)
PREDICATES =
OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -pp camlp4o
OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)
TOPLEVELOBJS = xml2Gdome.cmo proofEngineReduction.cmo proofEngine.cmo \
cic2Xml.cmo cic2acic.cmo logicalOperations.cmo sequentPp.cmo \
TOPLEVELOBJS = xml2Gdome.cmo proofEngineReduction.cmo proofEngine.cmo \
cic2Xml.cmo cic2acic.cmo logicalOperations.cmo sequentPp.cmo \