helm/ocaml/cic_unification/Makefile

   1 PACKAGE = cic_unification
   2 REQUIRES = helm-cic_proof_checking
   3 PREDICATES =
   4
   5 INTERFACE_FILES = \
   6         cicMetaSubst.mli \
   7         cicMkImplicit.mli \
   8         freshNamesGenerator.mli \
   9         cicUnification.mli \
  10         coercDb.mli \
  11         coercGraph.mli \
  12         cicRefine.mli
  13 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
  14 EXTRA_OBJECTS_TO_INSTALL =
  15
  16 include ../Makefile.common