some optimizations...

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

diff --git a/helm/ocaml/paramodulation/Makefile b/helm/ocaml/paramodulation/Makefile
index be59fc135aad2d9fe0f972c677b2d90f79afd6b2..f16094a17c7e96af9907c21f146d227b46f40404 100644 (file)
--- a/helm/ocaml/paramodulation/Makefile
+++ b/helm/ocaml/paramodulation/Makefile
@@ -34,15 +34,18 @@ DEPOBJS = \
        path_indexing.ml \
        indexing.ml \
        saturation.ml \
-       test_path_indexing.ml
+       discrimination_tree.ml \
+       test_indexing.ml
 
 TOPLEVELOBJS = $(INTERFACE_FILES:%.mli=%.cmo) \
        path_indexing.cmo \
+       discrimination_tree.cmo \
        indexing.cmo \
        saturation.cmo
 TESTOBJS = $(INTERFACE_FILES:%.mli=%.cmo) \
        path_indexing.cmo \
-       test_path_indexing.cmo
+       discrimination_tree.cmo \
+       test_indexing.cmo
 # REGTESTOBJS = $(TESTOBJS) regtest.cmo
 # TESTLIBOBJS = $(TESTOBJS) testlibrary.cmo
 
@@ -57,7 +60,7 @@ saturation: $(TOPLEVELOBJS) $(LIBRARIES)
 saturation.opt: $(TOPLEVELOBJS:.cmo=.cmx) $(LIBRARIES_OPT)
        $(OCAMLOPT) -thread -linkpkg -o $@ $(TOPLEVELOBJS:.cmo=.cmx)
 
-test_path_indexing: $(TESTOBJS) $(TEST_LIBRARIES)
+test_indexing: $(TESTOBJS) $(TEST_LIBRARIES)
        $(OCAMLC) -linkpkg -o $@ $(TESTOBJS)
 
 .SUFFIXES: .ml .mli .cmo .cmi .cmx