BIN_DIR = /usr/local/bin
REQUIRES = helm-cic_proof_checking http
PREDICATES =
-OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -thread
+OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -thread -rectypes
ifeq ($(origin OCAMLPATH), undefined)
OCAMLFIND = OCAMLPATH=../../components/METAS ocamlfind
else