2 PACKAGE = cic_disambiguation
5 disambiguateTypes.mli \
6 disambiguateChoices.mli \
9 IMPLEMENTATION_FILES = \
10 $(patsubst %.mli, %.ml, $(INTERFACE_FILES)) \
11 $(patsubst %,%_notation.ml,$(NOTATIONS))
17 rm -f macro_table.dump
19 include ../../Makefile.defs
20 include ../Makefile.common
22 OCAMLARCHIVEOPTIONS += -linkall
24 disambiguateTypes.cmi: disambiguateTypes.mli
25 @echo " OCAMLC -rectypes $<"
26 @$(OCAMLC) -c -rectypes $<
27 disambiguateTypes.cmo: disambiguateTypes.ml disambiguateTypes.cmi
28 @echo " OCAMLC -rectypes $<"
29 @$(OCAMLC) -c -rectypes $<
30 disambiguateTypes.cmx: disambiguateTypes.ml disambiguateTypes.cmi
31 @echo " OCAMLOPT -rectypes $<"
32 @$(OCAMLOPT) -c -rectypes $<