10 cicNotationParser.mli \
12 IMPLEMENTATION_FILES = \
14 $(patsubst %.mli, %.ml, $(INTERFACE_FILES)) \
19 cicNotationLexer.cmo: cicNotationLexer.ml cicNotationLexer.cmi
21 cicNotationLexer.cmx: cicNotationLexer.ml cicNotationLexer.cmi
23 cicNotationParser.cmo: REQUIRES = helm-utf8_macros camlp4.gramlib helm-cic
24 cicNotationParser.cmo: cicNotationParser.ml cicNotationParser.cmi cicNotationLexer.cmi
26 cicNotationParser.cmx: REQUIRES = helm-utf8_macros camlp4.gramlib
27 cicNotationParser.cmx: cicNotationParser.ml cicNotationParser.cmi cicNotationLexer.cmi
30 LOCAL_LINKOPTS = -package helm-cic_notation -linkpkg
31 test: test_lexer test_parser
32 test_lexer: test_lexer.ml $(PACKAGE).cma
33 $(OCAMLC) $(LOCAL_LINKOPTS) -o $@ $<
34 test_parser: test_parser.ml $(PACKAGE).cma
35 $(OCAMLC) $(LOCAL_LINKOPTS) -o $@ $<
38 distclean: extra_clean
39 rm -f macro_table.dump
41 rm -f test_lexer test_parser
43 include ../Makefile.common
44 OCAMLARCHIVEOPTIONS += -linkall
46 disambiguateTypes.cmi: disambiguateTypes.mli
47 $(OCAMLC) -c -rectypes $<
48 disambiguateTypes.cmo: disambiguateTypes.ml disambiguateTypes.cmi
49 $(OCAMLC) -c -rectypes $<
50 disambiguateTypes.cmx: disambiguateTypes.ml disambiguateTypes.cmi
51 $(OCAMLOPT) -c -rectypes $<