helm-cic \
helm-utf8_macros \
camlp4.gramlib \
- helm-cic_proof_checking \
helm-cic_transformations\
+ helm-cic_proof_checking \
ulex \
$(NULL)
INTERFACE_FILES = \
cicNotationMatcher.mli \
cicNotationFwd.mli \
cicNotationParser.mli \
+ grafiteParser.mli \
cicNotationRew.mli \
cicNotationPres.mli \
$(NULL)
IMPLEMENTATION_FILES = \
cicNotationPt.ml \
+ grafiteAst.ml \
$(patsubst %.mli, %.ml, $(INTERFACE_FILES)) \
$(NULL)
cicNotationLexer.cmo: OCAMLC = $(OCAMLC_P4)
cicNotationParser.cmo: OCAMLC = $(OCAMLC_P4)
+grafiteParser.cmo: OCAMLC = $(OCAMLC_P4)
cicNotationLexer.cmx: OCAMLOPT = $(OCAMLOPT_P4)
cicNotationParser.cmx: OCAMLOPT = $(OCAMLOPT_P4)
+grafiteParser.cmx: OCAMLOPT = $(OCAMLOPT_P4)
cicNotationParser.ml.annot: OCAMLC = $(OCAMLC_P4)
+grafiteParser.ml.annot: OCAMLC = $(OCAMLC_P4)
cicNotationLexer.ml.annot: OCAMLC = $(OCAMLC_P4)
cicNotationPres.cmi: OCAMLOPTIONS += -rectypes
cicNotationPres.cmo: OCAMLOPTIONS += -rectypes