X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fparamodulation%2FMakefile;h=d1d4c0427affabc607d2b895edffee8d2ed859f8;hb=31afc64440b7da53bb79e6f1524d47bf0fb56aaf;hp=85668aaf9dfa2410e7183e222aecbf78f83516ea;hpb=c76c8c83852508d69e7765dc9e929cdcf34af57d;p=helm.git

diff --git a/helm/ocaml/paramodulation/Makefile b/helm/ocaml/paramodulation/Makefile
index 85668aaf9..d1d4c0427 100644
--- 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