X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Futilities%2FMakefile;h=db76fb51da13d904bb3c88bb5348d491cec790e8;hb=72aa8b2087285826b14fc39a389632f0317c51b6;hp=1874a238543eb464f05813e53a522c2366ec644f;hpb=2bc5d5bfa8278945527b3f36ffd467802899b148;p=helm.git

diff --git a/helm/software/components/binaries/utilities/Makefile b/helm/software/components/binaries/utilities/Makefile
index 1874a2385..db76fb51d 100644
--- a/helm/software/components/binaries/utilities/Makefile
+++ b/helm/software/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)