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