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.defs
include ../Makefile.common

OCAMLARCHIVEOPTIONS += -linkall

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