helm/software/components/cic_disambiguation/Makefile

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