helm/ocaml/cic_proof_checking/Makefile

   1 PACKAGE = cic_proof_checking
   2 REQUIRES = helm-cic
   3 PREDICATES =
   4
   5 INTERFACE_FILES = cicSubstitution.mli cicEnvironment.mli cicPp.mli \
   6                   cicMiniReduction.mli cicReduction.mli cicTypeChecker.mli \
   7                   cicCooking.mli
   8 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
   9
  10 # Metadata tools only need zeta-reduction
  11 EXTRA_OBJECTS_TO_INSTALL = \
  12             cicSubstitution.cmo cicSubstitution.cmx cicSubstitution.o \
  13             cicMiniReduction.cmo cicMiniReduction.cmx cicMiniReduction.o
  14
  15
  16 include ../Makefile.common