matita/components/cic/Makefile

   1 PACKAGE = cic
   2 PREDICATES =
   3
   4 INTERFACE_FILES = \
   5         cicUniv.mli             \
   6         cicUtil.mli             \
   7         cicPp.mli
   8 IMPLEMENTATION_FILES = \
   9         cic.ml $(INTERFACE_FILES:%.mli=%.ml)
  10 EXTRA_OBJECTS_TO_INSTALL = cic.ml cic.cmi
  11 EXTRA_OBJECTS_TO_CLEAN =
  12
  13 include ../../Makefile.defs
  14 include ../Makefile.common