PACKAGE = cic_disambiguation
NOTATIONS = number
INTERFACE_FILES = \
- disambiguateChoices.mli \
- cicDisambiguate.mli
+ cicDisambiguate.mli \
+ disambiguateChoices.mli
IMPLEMENTATION_FILES = \
$(patsubst %.mli, %.ml, $(INTERFACE_FILES)) \
$(patsubst %,%_notation.ml,$(NOTATIONS))