helm/software/components/cic/Makefile

   1 PACKAGE = cic
   2 PREDICATES =
   3
   4 INTERFACE_FILES = \
   5         cicUniv.mli             \
   6         unshare.mli             \
   7         deannotate.mli          \
   8         cicParser.mli           \
   9         cicUtil.mli             \
  10         helmLibraryObjects.mli  \
  11         libraryObjects.mli      \
  12         discrimination_tree.mli \
  13         path_indexing.mli       \
  14         cicInspect.mli
  15 IMPLEMENTATION_FILES = \
  16         cic.ml $(INTERFACE_FILES:%.mli=%.ml)
  17 EXTRA_OBJECTS_TO_INSTALL = cic.ml cic.cmi
  18 EXTRA_OBJECTS_TO_CLEAN =
  19
  20 include ../../Makefile.defs
  21 include ../Makefile.common