PACKAGE = cic_textual_parser2
REQUIRES = \
- helm-tactics helm-logger helm-cic_unification helm-cic_transformations \
- ulex pxp camlp4.gramlib
+ helm-tactics helm-logger helm-cic_unification helm-cic_transformations helm-pxp \
+ ulex camlp4.gramlib
NOTATIONS = logic arit tex
# NOTATIONS = logic arit
INTERFACE_FILES = \
test_parser: test_parser.ml $(PACKAGE).cma
$(OCAMLC) $(LOCAL_LINKOPTS) -o $@ $<
make_table: make_table.ml
- $(OCAMLFIND) ocamlc -package pxp -linkpkg -o $@ $^
+ $(OCAMLFIND) ocamlc -package helm-pxp -linkpkg -o $@ $^
macro_table.ml: make_table
./make_table $@