]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/binaries/extractor/Makefile
maxipatch for support of multiple DBs.
[helm.git] / helm / software / components / binaries / extractor / Makefile
index eae5c635d52010e252db7f34695857af8b10eb77..323f405d483699d39f3174063784017f4b00644a 100644 (file)
@@ -11,22 +11,22 @@ clean:
 extractor: extractor.ml
        $(H)echo "    OCAMLC $<"
        $(H)$(OCAMLFIND) ocamlc \
-               -thread -package mysql,helm-metadata -linkpkg -o $@ $<
+               -thread -package mysql,helm-metadata,helm-library -linkpkg -o $@ $<
 
 extractor.opt: extractor.ml
        $(H)echo "    OCAMLOPT $<"
        $(H)$(OCAMLFIND) ocamlopt \
-               -thread -package mysql,helm-metadata -linkpkg -o $@ $<
+               -thread -package mysql,helm-metadata,helm-library -linkpkg -o $@ $<
 
 extractor_manager: extractor_manager.ml
        $(H)echo "    OCAMLC $<"
        $(H)$(OCAMLFIND) ocamlc \
-               -thread -package mysql,helm-metadata -linkpkg -o $@ $<
+               -thread -package mysql,helm-metadata,helm-library -linkpkg -o $@ $<
 
 extractor_manager.opt: extractor_manager.ml
        $(H)echo "    OCAMLOPT $<"
        $(H)$(OCAMLFIND) ocamlopt \
-               -thread -package mysql,helm-metadata -linkpkg -o $@ $<
+               -thread -package mysql,helm-metadata,helm-library -linkpkg -o $@ $<
 
 export: extractor.opt extractor_manager.opt
         nice -n 20 \