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

[helm.git] / components / binaries / utilities / Makefile

diff --git a/components/binaries/utilities/Makefile b/components/binaries/utilities/Makefile
index 1874a238543eb464f05813e53a522c2366ec644f..db76fb51da13d904bb3c88bb5348d491cec790e8 100644 (file)
--- a/components/binaries/utilities/Makefile
+++ b/components/binaries/utilities/Makefile
@@ -2,7 +2,7 @@ H=@
 
 UTILITIES = create_environment parse_library list_uris test_library
 UTILITIES_OPT = $(patsubst %,%.opt,$(UTILITIES))
-LINKOPTS = -linkpkg -thread
+LINKOPTS = -linkpkg -rectypes -thread
 LIBS = helm-cic_proof_checking
 OCAMLC = $(OCAMLFIND) ocamlc $(LINKOPTS) -package $(LIBS)
 OCAMLOPT = $(OCAMLFIND) opt $(LINKOPTS) -package $(LIBS)