matitaB/components/disambiguation/Makefile

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