-PACKAGE = cic_textual_parser2
+PACKAGE = cic_disambiguation
REQUIRES = \
helm-tactics helm-logger helm-cic_unification helm-cic_notation \
helm-utf8_macros \
ulex
-NOTATIONS = arit
+NOTATIONS = number
INTERFACE_FILES = \
disambiguateTypes.mli \
- disambiguatePp.mli \
disambiguateChoices.mli \
+ disambiguatePp.mli \
disambiguate.mli
IMPLEMENTATION_FILES = \
$(patsubst %.mli, %.ml, $(INTERFACE_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