cambiato il tipo equality, aggiunto l'ordinamento tra left e right

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

diff --git a/helm/ocaml/paramodulation/Makefile b/helm/ocaml/paramodulation/Makefile
index 85668aaf9dfa2410e7183e222aecbf78f83516ea..c50c1b41f3f715f32dd3985b96fe0145074136e2 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))