removed the need of REQUIRES in libraries Makefile, they are now queried from the...

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

diff --git a/helm/ocaml/paramodulation/Makefile b/helm/ocaml/paramodulation/Makefile
index 7a3dbf626cfd1ba945f8add6e28c1428998653da..b65317cc2c540ed22021701a72632cc74b2d7c3a 100644 (file)
--- a/helm/ocaml/paramodulation/Makefile
+++ b/helm/ocaml/paramodulation/Makefile
@@ -1,12 +1,5 @@
 PACKAGE = paramodulation
 
-REQUIRES = \
-       helm-registry \
-       helm-cic_transformations \
-       helm-tactics \
-       helm-cic_disambiguation \
-       mysql
-
 INTERFACE_FILES = \
        utils.mli \
        inference.mli 
@@ -18,13 +11,8 @@ IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml) \
        indexing.ml \
        saturation.ml 
 
-#       saturate_main.ml
-#      test_indexing.ml 
-
-
 include ../Makefile.common
 
-
 paramodulation.cmo: $(IMPLEMENTATION_FILES:%.ml=%.cmo)
        $(OCAMLC) -pack -o $@ $(IMPLEMENTATION_FILES:%.ml=%.cmo)