helm/ocaml/cic_omdoc/Makefile

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