returns the right list of goals

[helm.git] / helm / software / components / tactics / paramodulation / Makefile

diff --git a/helm/software/components/tactics/paramodulation/Makefile b/helm/software/components/tactics/paramodulation/Makefile
index f1b613400836daee295bf5fc44cc491c140d6cdc..2f3afa5ab449484a6d227e9d64faf4344b16f5b3 100644 (file)
--- a/helm/software/components/tactics/paramodulation/Makefile
+++ b/helm/software/components/tactics/paramodulation/Makefile
@@ -1,23 +1,6 @@
-PACKAGE = dummy
-
-LOCALLINKOPTS = -package helm-cic_disambiguation,helm-content_pres,helm-grafite,helm-grafite_parser,helm-tactics
-
-include ../../../Makefile.defs
-include ../../Makefile.common
-
-all $(PACKAGE).cma :saturate 
-       @echo -n
-opt $(PACKAGE).cmxa:saturate.opt
-       @echo -n
-
-saturate: saturate_main.ml $(LIBRARIES)
-       @echo "  OCAMLC $<"
-       @$(OCAMLC) $(LOCALLINKOPTS) -thread -linkpkg -o $@ $<
-saturate.opt: saturate_main.ml $(LIBRARIES)
-       @echo "  OCAMLOPT $<"
-       @$(OCAMLOPT) $(LOCALLINKOPTS) -thread -linkpkg -o $@ $<
-
-clean:
-       rm -f saturate saturate.opt
+all:
+       @make -C .. $@
 
+%:
+       @make -C .. $@