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 $<