integrated indexing.ml, breaks everything :-P (previous working version tagged PRE_IN...

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

diff --git a/helm/ocaml/paramodulation/Makefile b/helm/ocaml/paramodulation/Makefile
index c50c1b41f3f715f32dd3985b96fe0145074136e2..d1d4c0427affabc607d2b895edffee8d2ed859f8 100644 (file)
--- a/helm/ocaml/paramodulation/Makefile
+++ b/helm/ocaml/paramodulation/Makefile
@@ -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