]> matita.cs.unibo.it Git - helm.git/blobdiff - components/binaries/table_creator/Makefile
Move to OCaml 3.10. Requires debian packages from unstable (soon in testing).
[helm.git] / components / binaries / table_creator / Makefile
index 23e732629abb8b329c1a3771b56cde6ec23f4309..d5889699f46545bc452ef9f3c9d65a8d3b3414f0 100644 (file)
@@ -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 $< $@