X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fbinaries%2Fextractor%2FMakefile;h=323f405d483699d39f3174063784017f4b00644a;hb=b16ac59fc9bf8e90739f95450e531faaefc4018f;hp=eae5c635d52010e252db7f34695857af8b10eb77;hpb=6e32fcdcb9ba66f4b3a31f283dc24fbe5dccb398;p=helm.git

diff --git a/components/binaries/extractor/Makefile b/components/binaries/extractor/Makefile
index eae5c635d..323f405d4 100644
--- a/components/binaries/extractor/Makefile
+++ b/components/binaries/extractor/Makefile
@@ -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 \