- renamed ocaml/ to components/

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

diff --git a/helm/ocaml/tactics/paramodulation/Makefile b/helm/ocaml/tactics/paramodulation/Makefile
deleted file mode 100644 (file)
index f1b6134..0000000
--- a/helm/ocaml/tactics/paramodulation/Makefile
+++ /dev/null
@@ -1,23 +0,0 @@
-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
-
-