2 PACKAGE = cic_proof_checking
3 REQUIRES = helm-cic helm-logger helm-getter
6 REDUCTION_IMPLEMENTATION = cicReductionMachine.ml
10 cicEnvironment.mli cicPp.mli cicSubstitution.mli \
11 cicMiniReduction.mli cicReductionNaif.mli cicReduction.mli \
13 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
15 # Metadata tools only need zeta-reduction
16 EXTRA_OBJECTS_TO_INSTALL = \
17 cicSubstitution.cmo cicSubstitution.cmx cicSubstitution.o \
18 cicMiniReduction.cmo cicMiniReduction.cmx cicMiniReduction.o
19 EXTRA_OBJECTS_TO_CLEAN =
21 include ../Makefile.common
23 cicReduction.ml: $(REDUCTION_IMPLEMENTATION)
24 if ! [ -f $@ ]; then \
25 echo "Using $< for $@"; \