- no longer build mathql per default

[helm.git] / helm / ocaml / paramodulation / Makefile

diff --git a/helm/ocaml/paramodulation/Makefile b/helm/ocaml/paramodulation/Makefile
index fba57a59333f63bdb155667706e325f59eaea9b9..d1d4c0427affabc607d2b895edffee8d2ed859f8 100644 (file)
--- a/helm/ocaml/paramodulation/Makefile
+++ b/helm/ocaml/paramodulation/Makefile
@@ -5,9 +5,9 @@ TEST_REQUIRES = \
        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 \
@@ -16,12 +16,12 @@ TEST_REQUIRES = \
 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))
@@ -43,9 +43,12 @@ INTERFACE_FILES = \
 
 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
@@ -75,7 +78,7 @@ $(TOPLEVELOBJS): $(LIBRARIES)
 $(TOPLEVELOBJS:.cmo=.cmx)): $(LIBRARIES_OPT)
 
 clean:
-       rm -f *.cm[iox] *.o gTopLevel{,.opt} regtest{,.opt} testlibrary{,.opt}
+       rm -f *.cm[iox] *.o saturation{,.opt} regtest{,.opt} testlibrary{,.opt}
 install:
        cp gTopLevel gTopLevel.opt $(BIN_DIR)
 uninstall: