PACKAGE = cic_textual_parser2
REQUIRES = \
- helm-tactics helm-logger helm-cic_unification helm-cic_transformations \
- ulex pxp camlp4.gramlib
-# NOTATIONS = logic arit tex
-NOTATIONS = logic arit
+ helm-tactics helm-logger helm-cic_unification helm-cic_transformations helm-pxp \
+ ulex camlp4.gramlib
+NOTATIONS = logic arit tex
+# NOTATIONS = logic arit
INTERFACE_FILES = \
disambiguateTypes.mli \
disambiguateChoices.mli \
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 $@