helm/ocaml/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.common
  19 OCAMLARCHIVEOPTIONS += -linkall
  20
  21 disambiguateTypes.cmi: disambiguateTypes.mli
  22         $(OCAMLC) -c -rectypes $<
  23 disambiguateTypes.cmo: disambiguateTypes.ml disambiguateTypes.cmi
  24         $(OCAMLC) -c -rectypes $<
  25 disambiguateTypes.cmx: disambiguateTypes.ml disambiguateTypes.cmi
  26         $(OCAMLOPT) -c -rectypes $<
  27