2 PACKAGE = cic_textual_parser2
4 helm-tactics helm-logger helm-cic_unification helm-cic_transformations \
7 NOTATIONS = logic arit tex
8 # NOTATIONS = logic arit
10 disambiguateTypes.mli \
11 disambiguateChoices.mli \
12 cicTextualLexer2.mli \
13 cicTextualParser2.mli \
15 IMPLEMENTATION_FILES = \
16 $(patsubst %.mli, %.ml, $(INTERFACE_FILES)) \
17 $(patsubst %,%_notation.ml,$(NOTATIONS))
19 all: test_lexer test_parser
21 cicTextualLexer2.cmo: cicTextualLexer2.ml
23 cicTextualParser2.cmo: cicTextualParser2.ml
25 cicTextualLexer2.cmx: cicTextualLexer2.ml
27 cicTextualParser2.cmx: cicTextualParser2.ml
30 %_notation.cmo: %_notation.ml
32 %_notation.cmx: %_notation.ml
35 LOCAL_LINKOPTS = -package helm-cic_textual_parser2 -linkpkg
36 test: test_lexer test_parser
37 test_lexer: test_lexer.ml $(PACKAGE).cma
38 $(OCAMLC) $(LOCAL_LINKOPTS) -o $@ $<
39 test_parser: test_parser.ml $(PACKAGE).cma
40 $(OCAMLC) $(LOCAL_LINKOPTS) -o $@ $<
43 distclean: extra_clean
44 rm -f macro_table.dump
46 rm -f test_lexer test_parser
48 include ../Makefile.common
49 OCAMLARCHIVEOPTIONS += -linkall
51 disambiguateTypes.cmi: disambiguateTypes.mli
52 $(OCAMLC) -c -rectypes $<
53 disambiguateTypes.cmo: disambiguateTypes.ml disambiguateTypes.cmi
54 $(OCAMLC) -c -rectypes $<
55 disambiguateTypes.cmx: disambiguateTypes.ml disambiguateTypes.cmi
56 $(OCAMLOPT) -c -rectypes $<