]> matita.cs.unibo.it Git - helm.git/blobdiff - components/binaries/heights/Makefile
Move to OCaml 3.10. Requires debian packages from unstable (soon in testing).
[helm.git] / components / binaries / heights / Makefile
index d989d9c58e774a9d928663293d13e4f6f8ed0f3e..cd270082a6ea82fa86e864e505e1f35d8e651cca 100644 (file)
@@ -16,8 +16,8 @@ CMXS = $(MLS:%.ml=%.cmx)
 CMIS = $(MLIS:%.mli=%.cmi)
 EXTRAS =
 
-OCAMLC = $(OCAMLFIND) ocamlc -thread -package "$(REQUIRES)" -linkpkg
-OCAMLOPT = $(OCAMLFIND) ocamlopt -thread -package "$(REQUIRES)" -linkpkg
+OCAMLC = $(OCAMLFIND) ocamlc -thread -package "$(REQUIRES)" -linkpkg -rectypes
+OCAMLOPT = $(OCAMLFIND) ocamlopt -thread -package "$(REQUIRES)" -linkpkg -rectypes
 OCAMLDEP = $(OCAMLFIND) ocamldep
 OCAMLYACC = ocamlyacc
 OCAMLLEX = ocamllex