PACKAGE = cic_disambiguation
NOTATIONS = number
INTERFACE_FILES =		\
	disambiguateTypes.mli	\
	disambiguateChoices.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 $<