REQUIRES = helm-xml helm-cic_proof_checking
PREDICATES = miniReduction
-OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
+OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -pp camlp4o
OCAMLDEP = ocamldep
OCAMLFIND = ocamlfind
OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLOPTIONS)