-cicTextualLexer2.cmo: cicTextualLexer2.ml
- $(OCAMLC) -pp "camlp4o $(LEXER_P4_OPTS)" -c $<
-cicTextualParser2.cmo: cicTextualParser2.ml macro.cmo pa_unicode_macro.cmo
- $(OCAMLC) -pp "camlp4o $(PARSER_P4_OPTS)" -c $<
-
-%_notation.cmo: %_notation.ml cicTextualParser2.cmo
- $(OCAMLC) -pp "camlp4o $(PARSER_P4_OPTS)" -c $<
-
-pa_unicode_macro.cmo: pa_unicode_macro.ml macro.cmo
- $(OCAMLC) -pp "camlp4o $(PA_P4_OPTS)" -c $<
-
-LOCAL_LINKOPTS = -linkpkg $(PACKAGE).cma
-test: test_lexer test_parser
-test_lexer: test_lexer.ml $(PACKAGE).cma
- $(OCAMLC) $(LOCAL_LINKOPTS) -o $@ $<
-test_parser: test_parser.ml $(PACKAGE).cma
- $(OCAMLC) $(LOCAL_LINKOPTS) -o $@ $<
-make_table: make_table.ml
- $(OCAMLC) -linkpkg -o $@ $<
-
-.PHONY: macro_table.dump
-macro_table.dump: make_table
- ./make_table $@
-
-clean: extra_clean
-distclean: extra_clean