]> matita.cs.unibo.it Git - helm.git/blobdiff - components/binaries/transcript/Makefile
Move to OCaml 3.10. Requires debian packages from unstable (soon in testing).
[helm.git] / components / binaries / transcript / Makefile
index 7d6cd364ff4cc98628cf5379abd117f008fdafb4..b9bfc6109e2ba69afa2472938ed4b31accf8ce36 100644 (file)
@@ -18,8 +18,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