-PACKAGE = cic_textual_parser2
-REQUIRES = \
- helm-tactics helm-logger helm-cic_unification helm-cic_notation \
- helm-utf8_macros \
- ulex
-NOTATIONS = arit
+PACKAGE = cic_disambiguation
+NOTATIONS = number
INTERFACE_FILES = \
disambiguateTypes.mli \
- disambiguatePp.mli \
disambiguateChoices.mli \
disambiguate.mli
IMPLEMENTATION_FILES = \
all:
-clean: extra_clean
-distclean: extra_clean
+clean:
+distclean:
rm -f macro_table.dump
-extra_clean:
- rm -f test_lexer test_parser
include ../Makefile.common
OCAMLARCHIVEOPTIONS += -linkall