helm/software/components/cic_proof_checking/Makefile

   1
   2 PACKAGE = cic_proof_checking
   3 PREDICATES =
   4
   5 REDUCTION_IMPLEMENTATION = cicReductionMachine.ml
   6
   7 INTERFACE_FILES = \
   8         cicLogger.mli \
   9         cicEnvironment.mli \
  10         cicPp.mli \
  11         cicUnivUtils.mli \
  12         cicSubstitution.mli \
  13         cicMiniReduction.mli \
  14         cicReduction.mli \
  15         cicTypeChecker.mli \
  16         freshNamesGenerator.mli \
  17         cicDischarge.mli        \
  18         $(NULL)
  19 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
  20
  21 # Metadata tools only need zeta-reduction
  22 EXTRA_OBJECTS_TO_INSTALL = \
  23             cicSubstitution.cmo cicSubstitution.cmx cicSubstitution.o \
  24             cicMiniReduction.cmo cicMiniReduction.cmx cicMiniReduction.o
  25 EXTRA_OBJECTS_TO_CLEAN =
  26
  27 include ../../Makefile.defs
  28 include ../Makefile.common