X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Fheights%2FMakefile;fp=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Fheights%2FMakefile;h=cd270082a6ea82fa86e864e505e1f35d8e651cca;hb=683978a2627cf1ce15673360f26806593d22f7b5;hp=d989d9c58e774a9d928663293d13e4f6f8ed0f3e;hpb=21a10d0abc0636a49f12fc066f91270cec4d63d1;p=helm.git

diff --git a/helm/software/components/binaries/heights/Makefile b/helm/software/components/binaries/heights/Makefile
index d989d9c58..cd270082a 100644
--- a/helm/software/components/binaries/heights/Makefile
+++ b/helm/software/components/binaries/heights/Makefile
@@ -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