]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/metadata/extractor/Makefile
- renamed ocaml/ to components/
[helm.git] / helm / ocaml / metadata / extractor / Makefile
diff --git a/helm/ocaml/metadata/extractor/Makefile b/helm/ocaml/metadata/extractor/Makefile
deleted file mode 100644 (file)
index 579a565..0000000
+++ /dev/null
@@ -1,36 +0,0 @@
-
-all: extractor extractor_manager 
-       @echo -n
-opt: extractor.opt extractor_manager.opt
-       @echo -n
-
-clean:
-       rm -f *.cm[ixo] *.[ao] extractor extractor.opt *.err *.out extractor_manager extractor_manager.opt
-
-extractor: extractor.ml
-       @echo "    OCAMLC $<"
-       @$(OCAMLFIND) ocamlc \
-               -thread -package mysql,helm-metadata -linkpkg -o $@ $<
-
-extractor.opt: extractor.ml
-       @echo "    OCAMLOPT $<"
-       @$(OCAMLFIND) ocamlopt \
-               -thread -package mysql,helm-metadata -linkpkg -o $@ $<
-
-extractor_manager: extractor_manager.ml
-       @echo "    OCAMLC $<"
-       @$(OCAMLFIND) ocamlc \
-               -thread -package mysql,helm-metadata -linkpkg -o $@ $<
-
-extractor_manager.opt: extractor_manager.ml
-       @echo "    OCAMLOPT $<"
-       @$(OCAMLFIND) ocamlopt \
-               -thread -package mysql,helm-metadata -linkpkg -o $@ $<
-
-export: extractor.opt extractor_manager.opt
-        nice -n 20 \
-               time \
-               ./extractor_manager.opt 1>export.out 2>export.err
-       
-include .depend
-include ../../../Makefile.defs