helm/ocaml/cic_disambiguation/Makefile

   1
   2 PACKAGE = cic_disambiguation
   3 NOTATIONS = number
   4 INTERFACE_FILES =               \
   5         disambiguateTypes.mli   \
   6         disambiguateChoices.mli \
   7         disambiguatePp.mli      \
   8         disambiguate.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.common
  20 OCAMLARCHIVEOPTIONS += -linkall
  21
  22 disambiguateTypes.cmi: disambiguateTypes.mli
  23         $(OCAMLC) -c -rectypes $<
  24 disambiguateTypes.cmo: disambiguateTypes.ml disambiguateTypes.cmi
  25         $(OCAMLC) -c -rectypes $<
  26 disambiguateTypes.cmx: disambiguateTypes.ml disambiguateTypes.cmi
  27         $(OCAMLOPT) -c -rectypes $<
  28