X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Ftable_creator%2FMakefile;h=d5889699f46545bc452ef9f3c9d65a8d3b3414f0;hb=bbb2b03fee9f7c7595870d997118d51c1ce469f2;hp=23e732629abb8b329c1a3771b56cde6ec23f4309;hpb=2bc5d5bfa8278945527b3f36ffd467802899b148;p=helm.git

diff --git a/helm/software/components/binaries/table_creator/Makefile b/helm/software/components/binaries/table_creator/Makefile
index 23e732629..d5889699f 100644
--- a/helm/software/components/binaries/table_creator/Makefile
+++ b/helm/software/components/binaries/table_creator/Makefile
@@ -16,7 +16,7 @@ opt: table_creator.opt table_destructor.opt
 table_creator: table_creator.ml 
 	$(H)echo "    OCAMLC $<"
 	$(H)$(OCAMLFIND) ocamlc \
-		-thread -package mysql,helm-metadata -linkpkg -o $@ $<
+		-thread -package mysql,helm-metadata -linkpkg -rectypes -o $@ $<
 
 table_destructor: table_creator
 	$(H)ln -f $< $@
@@ -24,7 +24,7 @@ table_destructor: table_creator
 table_creator.opt: table_creator.ml
 	$(H)echo "    OCAMLOPT $<"
 	$(H)$(OCAMLFIND) ocamlopt \
-		-thread -package mysql,helm-metadata -linkpkg -o $@ $<
+		-thread -package mysql,helm-metadata -linkpkg -rectypes -o $@ $<
 
 table_destructor.opt: table_creator.opt
 	$(H)ln  -f $< $@