helm/software/components/cic_unification/Makefile

   1 PACKAGE = cic_unification
   2 PREDICATES =
   3
   4 INTERFACE_FILES = \
   5         cicMetaSubst.mli \
   6         cicMkImplicit.mli \
   7         cicUnification.mli \
   8         cicRefine.mli
   9 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
  10 EXTRA_OBJECTS_TO_INSTALL =
  11
  12 include ../../Makefile.defs
  13 include ../Makefile.common