helm/ocaml/cic/Makefile

   1 PACKAGE = cic
   2 REQUIRES = helm-urimanager helm-pxp helm-xml
   3 PREDICATES =
   4
   5 INTERFACE_FILES = \
   6         cicUniv.mli     \
   7         deannotate.mli  \
   8         cicParser3.mli  \
   9         cicParser2.mli  \
  10         cicParser.mli   \
  11         cicUtil.mli     \
  12         helmLibraryObjects.mli
  13 IMPLEMENTATION_FILES = \
  14         cic.ml $(INTERFACE_FILES:%.mli=%.ml)
  15 EXTRA_OBJECTS_TO_INSTALL = cic.ml cic.cmi
  16 EXTRA_OBJECTS_TO_CLEAN =
  17
  18 include ../Makefile.common