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 $@
rm -f test_lexer test_parser make_table
include ../Makefile.common
+OCAMLARCHIVEOPTIONS += -linkall
.PHONY: depend
depend: cicTextualParser2Macro.cmi cicTextualParser2Macro.cmo pa_unicode_macro.cmi pa_unicode_macro.cmo