helm/ocaml/cic/Makefile

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