PACKAGE = cic_notation
REQUIRES = \
+ helm-cic \
helm-utf8_macros \
ulex
NULL =
cicNotationParser.mli \
$(NULL)
IMPLEMENTATION_FILES = \
+ cicNotationPt.ml \
$(patsubst %.mli, %.ml, $(INTERFACE_FILES)) \
$(NULL)
$(OCAMLC_P4) -c $<
cicNotationLexer.cmx: cicNotationLexer.ml cicNotationLexer.cmi
$(OCAMLOPT_P4) -c $<
-cicNotationParser.cmo: REQUIRES = helm-utf8_macros camlp4.gramlib
+cicNotationParser.cmo: REQUIRES = helm-utf8_macros camlp4.gramlib helm-cic
cicNotationParser.cmo: cicNotationParser.ml cicNotationParser.cmi cicNotationLexer.cmi
$(OCAMLC_P4) -c $<
cicNotationParser.cmx: REQUIRES = helm-utf8_macros camlp4.gramlib