-cicNotationLexer.cmo: cicNotationLexer.ml cicNotationLexer.cmi
- $(OCAMLC_P4) -c $<
-cicNotationLexer.cmx: cicNotationLexer.ml cicNotationLexer.cmi
- $(OCAMLOPT_P4) -c $<
-cicNotationParser.cmo: REQUIRES = helm-utf8_macros camlp4.gramlib
-cicNotationParser.cmo: cicNotationParser.ml cicNotationParser.cmi cicNotationLexer.cmi
- $(OCAMLC_P4) -c $<
-cicNotationParser.cmx: REQUIRES = helm-utf8_macros camlp4.gramlib
-cicNotationParser.cmx: cicNotationParser.ml cicNotationParser.cmi cicNotationLexer.cmi
- $(OCAMLOPT_P4) -c $<
-