X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Fextractor%2FMakefile;h=512b13e738d3b6be9e2bad1af9ea9cfb77a62bd6;hb=38ec119c163b0e6f97a9800933d5b71c065332e8;hp=323f405d483699d39f3174063784017f4b00644a;hpb=111df95ac03f2ee21dfa2422a7f531f675b1c16d;p=helm.git

diff --git a/helm/software/components/binaries/extractor/Makefile b/helm/software/components/binaries/extractor/Makefile
index 323f405d4..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,helm-library -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,helm-library -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,helm-library -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,helm-library -linkpkg -o $@ $<
+		-thread -package mysql,helm-metadata,helm-library -linkpkg -rectypes -o $@ $<
 
 export: extractor.opt extractor_manager.opt
 	 nice -n 20 \