7 cicNotationParser.mli \
10 content2presMatcher.mli \
17 IMPLEMENTATION_FILES = \
18 $(INTERFACE_FILES:%.mli=%.ml)
20 cicNotationPres.cmi: OCAMLOPTIONS += -rectypes
21 cicNotationPres.cmo: OCAMLOPTIONS += -rectypes
22 cicNotationPres.cmx: OCAMLOPTIONS += -rectypes
27 LOCAL_LINKOPTS = -package helm-content_pres -linkpkg
29 test_lexer: test_lexer.ml $(PACKAGE).cma
30 $(OCAMLC) $(LOCAL_LINKOPTS) -o $@ $<
33 rm -f test_lexer{,.opt}
35 cicNotationLexer.cmo: OCAMLC = $(OCAMLC_P4)
36 cicNotationParser.cmo: OCAMLC = $(OCAMLC_P4)
37 cicNotationLexer.cmx: OCAMLOPT = $(OCAMLOPT_P4)
38 cicNotationParser.cmx: OCAMLOPT = $(OCAMLOPT_P4)
39 cicNotationLexer.ml.annot: OCAMLC = $(OCAMLC_P4)
40 cicNotationParser.ml.annot: OCAMLC = $(OCAMLC_P4)
42 include ../Makefile.common