matita/components/ng_cic_content/Makefile

   1 PACKAGE = ng_cic_content
   2
   3 INTERFACE_FILES = \
   4         ncic2astMatcher.mli \
   5         interpretations.mli
   6
   7 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
   8
   9
  10 all:
  11
  12
  13 include ../../Makefile.defs
  14 include ../Makefile.common