helm/ocaml/cic_omdoc/Makefile

   1 PACKAGE = cic_omdoc
   2 REQUIRES = helm-cic_proof_checking
   3 PREDICATES =
   4
   5 INTERFACE_FILES =               \
   6         eta_fixing.mli          \
   7         doubleTypeInference.mli \
   8         cic2acic.mli            \
   9         content.mli             \
  10         contentPp.mli           \
  11         cic2content.mli         \
  12         content2cic.mli         \
  13         $(NULL)
  14 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
  15
  16 EXTRA_OBJECTS_TO_INSTALL = \
  17 EXTRA_OBJECTS_TO_CLEAN =
  18
  19 include ../Makefile.common