Move to OCaml 3.10. Requires debian packages from unstable (soon in testing).

[helm.git] / matita / Makefile

diff --git a/matita/Makefile b/matita/Makefile
index 93a6fc6cbb8a9d7d32a0f769558e76199e942151..923a0f614acfe169e8e36c385ac3c7f2f657c0ab 100644 (file)
--- a/matita/Makefile
+++ b/matita/Makefile
@@ -5,7 +5,7 @@ include ../Makefile.defs
 NULL =
 H=@
 
-OCAML_FLAGS = -pp $(CAMLP4O)
+OCAML_FLAGS = -pp $(CAMLP5O) -rectypes
 PKGS = -package "$(MATITA_REQUIRES)"
 CPKGS = -package "$(MATITA_CREQUIRES)"
 OCAML_THREADS_FLAGS = -thread