1 PACKAGE = cic_proof_checking
5 REDUCTION_IMPLEMENTATION = cicReductionNaif.ml
7 INTERFACE_FILES = logger.mli cicEnvironment.mli cicPp.mli cicSubstitution.mli \
8 cicMiniReduction.mli cicReductionNaif.mli cicReduction.mli \
10 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
12 # Metadata tools only need zeta-reduction
13 EXTRA_OBJECTS_TO_INSTALL = \
14 cicSubstitution.cmo cicSubstitution.cmx cicSubstitution.o \
15 cicMiniReduction.cmo cicMiniReduction.cmx cicMiniReduction.o
16 EXTRA_OBJECTS_TO_CLEAN =
18 include ../Makefile.common
20 cicReduction.ml: $(REDUCTION_IMPLEMENTATION)
21 if ! [ -f $@ ]; then \
22 echo "Using $< for $@"; \