helm-tactics \
helm-cic_transformations \
helm-cic_textual_parser2 \
- helm-mathql_interpreter \
- helm-mathql_generator \
- helm-xmldiff
+# helm-mathql_interpreter \
+# helm-mathql_generator \
+# helm-xmldiff
# lablgtk2 \
# mathml-editor \
# lablgtkmathview \
REQUIRES = $(TEST_REQUIRES) #gdome2-xslt helm-hbugs lablgtk2.init lablgtk2.glade
OCAMLOPTIONS = \
- -package "$(REQUIRES)" -predicates "$(PREDICATES)" -pp camlp4o -thread
+ -package "$(REQUIRES)" -predicates "$(PREDICATES)" #-pp camlp4o -thread
OCAMLFIND = ocamlfind
OCAMLDEBUGOPTIONS = -g
OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLDEBUGOPTIONS) $(OCAMLOPTIONS)
OCAMLOPT = $(OCAMLFIND) ocamlopt $(OCAMLOPTIONS)
-OCAMLDEP = $(OCAMLFIND) ocamldep -pp camlp4o
+OCAMLDEP = $(OCAMLFIND) ocamldep #-pp camlp4o
OCAMLDEBUG = wowcamldebug
LIBRARIES = $(shell $(OCAMLFIND) query -recursive -predicates "byte $(PREDICATES)" -format "%d/%a" $(REQUIRES))
DEPOBJS = \
$(INTERFACE_FILES) $(INTERFACE_FILES:%.mli=%.ml) \
+ indexing.ml \
saturation.ml
-TOPLEVELOBJS = $(INTERFACE_FILES:%.mli=%.cmo) saturation.cmo
+TOPLEVELOBJS = $(INTERFACE_FILES:%.mli=%.cmo) \
+ indexing.cmo \
+ saturation.cmo
# TESTOBJS = \
# disambiguatingParser.cmo \
# batchParser.cmo