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         cicDisambiguate.mli
   9 IMPLEMENTATION_FILES = \
  10         $(patsubst %.mli, %.ml, $(INTERFACE_FILES)) \
  11         $(patsubst %,%_notation.ml,$(NOTATIONS))
  12
  13 all:
  14
  15 clean:
  16 distclean:
  17         rm -f macro_table.dump
  18
  19 include ../../Makefile.defs
  20 include ../Makefile.common
  21
  22 OCAMLARCHIVEOPTIONS += -linkall
  23
  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 $<
  33