1 PACKAGE = cic_proof_checking
5 INTERFACE_FILES = logger.mli cicEnvironment.mli cicPp.mli cicSubstitution.mli \
6 cicMiniReduction.mli cicReductionNaif.mli cicReduction.mli \
8 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
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 EXTRA_OBJECTS_TO_CLEAN =
17 include ../Makefile.common