cicNotationParser.cmx: OCAMLOPT = $(OCAMLOPT_P4)
cicNotationParser.ml.annot: OCAMLC = $(OCAMLC_P4)
cicNotationLexer.ml.annot: OCAMLC = $(OCAMLC_P4)
cicNotationParser.cmx: OCAMLOPT = $(OCAMLOPT_P4)
cicNotationParser.ml.annot: OCAMLC = $(OCAMLC_P4)
cicNotationLexer.ml.annot: OCAMLC = $(OCAMLC_P4)