PACKAGE = cic_textual_parser2
REQUIRES = \
helm-tactics helm-logger helm-cic_unification helm-cic_transformations \
- helm-pxp helm-utf8_macros \
+ helm-utf8_macros \
ulex
NOTATIONS = logic arit tex
# NOTATIONS = logic arit
$(patsubst %.mli, %.ml, $(INTERFACE_FILES)) \
$(patsubst %,%_notation.ml,$(NOTATIONS))
-all:
+all: test_lexer test_parser
cicTextualLexer2.cmo: cicTextualLexer2.ml
$(OCAMLC_P4) -c $<
%_notation.cmx: %_notation.ml
$(OCAMLOPT_P4) -c $<
-LOCAL_LINKOPTS = -linkpkg $(PACKAGE).cma
+LOCAL_LINKOPTS = -package helm-cic_textual_parser2 -linkpkg
test: test_lexer test_parser
test_lexer: test_lexer.ml $(PACKAGE).cma
$(OCAMLC) $(LOCAL_LINKOPTS) -o $@ $<