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