2 PACKAGE = cic_disambiguation
5 disambiguateTypes.mli \
6 disambiguateChoices.mli \
8 IMPLEMENTATION_FILES = \
9 $(patsubst %.mli, %.ml, $(INTERFACE_FILES)) \
10 $(patsubst %,%_notation.ml,$(NOTATIONS))
16 rm -f macro_table.dump
18 include ../Makefile.common
19 OCAMLARCHIVEOPTIONS += -linkall
21 disambiguateTypes.cmi: disambiguateTypes.mli
22 $(OCAMLC) -c -rectypes $<
23 disambiguateTypes.cmo: disambiguateTypes.ml disambiguateTypes.cmi
24 $(OCAMLC) -c -rectypes $<
25 disambiguateTypes.cmx: disambiguateTypes.ml disambiguateTypes.cmi
26 $(OCAMLOPT) -c -rectypes $<