-cicTextualLexer2.cmo: cicTextualLexer2.ml
- $(OCAMLC_P4) -c $<
-cicTextualParser2.cmo: cicTextualParser2.ml
- $(OCAMLC_P4) -c $<
-cicTextualLexer2.cmx: cicTextualLexer2.ml
- $(OCAMLOPT_P4) -c $<
-cicTextualParser2.cmx: cicTextualParser2.ml
- $(OCAMLOPT_P4) -c $<
-
-%_notation.cmo: %_notation.ml
- $(OCAMLC_P4) -c $<
-%_notation.cmx: %_notation.ml
- $(OCAMLOPT_P4) -c $<
-
-LOCAL_LINKOPTS = -package helm-cic_textual_parser2 -linkpkg
-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 $@ $<
-
-clean: extra_clean
-distclean: extra_clean