matita/components/disambiguation/Makefile

   1 PACKAGE = disambiguation
   2 INTERFACE_FILES =               \
   3         disambiguateTypes.mli   \
   4         disambiguate.mli \
   5         multiPassDisambiguator.mli
   6 IMPLEMENTATION_FILES = \
   7         $(patsubst %.mli, %.ml, $(INTERFACE_FILES))
   8
   9 all:
  10
  11 clean:
  12 distclean:
  13
  14 include ../../Makefile.defs
  15 include ../Makefile.common
  16
  17 OCAMLARCHIVEOPTIONS += -linkall
  18
  19 disambiguateTypes.cmi: disambiguateTypes.mli
  20         @echo "  OCAMLC -rectypes $<"
  21         @$(OCAMLC) -c -rectypes $<
  22 disambiguateTypes.cmo: disambiguateTypes.ml disambiguateTypes.cmi
  23         @echo "  OCAMLC -rectypes $<"
  24         @$(OCAMLC) -c -rectypes $<
  25 disambiguateTypes.cmx: disambiguateTypes.ml disambiguateTypes.cmi
  26         @echo "  OCAMLOPT -rectypes $<"
  27         @$(OCAMLOPT) -c -rectypes $<
  28