helm/software/components/cic_disambiguation/Makefile

   1 PACKAGE = cic_disambiguation
   2 NOTATIONS = number
   3 INTERFACE_FILES =               \
   4         disambiguateChoices.mli \
   5         cicDisambiguate.mli
   6 IMPLEMENTATION_FILES = \
   7         $(patsubst %.mli, %.ml, $(INTERFACE_FILES)) \
   8         $(patsubst %,%_notation.ml,$(NOTATIONS))
   9
  10 all:
  11
  12 clean:
  13 distclean:
  14         rm -f macro_table.dump
  15
  16 include ../../Makefile.defs
  17 include ../Makefile.common
  18
  19 OCAMLARCHIVEOPTIONS += -linkall
  20