]> matita.cs.unibo.it Git - helm.git/blobdiff - components/binaries/extractor/Makefile
Move to OCaml 3.10. Requires debian packages from unstable (soon in testing).
[helm.git] / components / binaries / extractor / Makefile
index 323f405d483699d39f3174063784017f4b00644a..512b13e738d3b6be9e2bad1af9ea9cfb77a62bd6 100644 (file)
@@ -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 \