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
%_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 $@ $<