]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/fix_params/Makefile
ocaml 3.09 transition
[helm.git] / helm / fix_params / Makefile
index 29a6a968285410f36ec0cabb4d38455ef8542dff..92ac930bc9827e6ba8edb21531bd563fb28c5e86 100644 (file)
@@ -1,6 +1,6 @@
 REQUIRES = helm-getter helm-cic_cache helm-xml
 PREDICATES =
-OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
+OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -pp camlp4o
 OCAMLDEP = ocamldep
 OCAMLFIND = ocamlfind
 OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLOPTIONS)