X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Fextractor%2FMakefile;h=512b13e738d3b6be9e2bad1af9ea9cfb77a62bd6;hb=d8c297847d28b8648c1b3728d5763112ae6472ad;hp=eae5c635d52010e252db7f34695857af8b10eb77;hpb=2bc5d5bfa8278945527b3f36ffd467802899b148;p=helm.git

diff --git a/helm/software/components/binaries/extractor/Makefile b/helm/software/components/binaries/extractor/Makefile
index eae5c635d..512b13e73 100644
--- a/helm/software/components/binaries/extractor/Makefile
+++ b/helm/software/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 -rectypes -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 -rectypes -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 -rectypes -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 -rectypes -o $@ $<
 
 export: extractor.opt extractor_manager.opt
 	 nice -n 20 \