PACKAGE = cic_disambiguation
REQUIRES = \
	helm-tactics helm-logger helm-cic_unification helm-cic_notation \
	helm-utf8_macros \
	ulex
NOTATIONS = number
INTERFACE_FILES =		\
	disambiguateTypes.mli	\
	disambiguateChoices.mli	\
	disambiguatePp.mli	\
	disambiguate.mli
IMPLEMENTATION_FILES = \
	$(patsubst %.mli, %.ml, $(INTERFACE_FILES)) \
	$(patsubst %,%_notation.ml,$(NOTATIONS))

all:

clean:
distclean:
	rm -f macro_table.dump

include ../Makefile.common
OCAMLARCHIVEOPTIONS += -linkall

disambiguateTypes.cmi: disambiguateTypes.mli
	$(OCAMLC) -c -rectypes $<
disambiguateTypes.cmo: disambiguateTypes.ml disambiguateTypes.cmi
	$(OCAMLC) -c -rectypes $<
disambiguateTypes.cmx: disambiguateTypes.ml disambiguateTypes.cmi
	$(OCAMLOPT) -c -rectypes $<