2 PACKAGE = cic_proof_checking
3 REQUIRES = helm-cic helm-logger helm-getter helm-xml pxp
6 REDUCTION_IMPLEMENTATION = cicReductionMachine.ml
14 cicMiniReduction.mli \
15 cicReductionNaif.mli \
19 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
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 =
27 include ../Makefile.common
29 cicReduction.ml: $(REDUCTION_IMPLEMENTATION)
30 if ! [ -f $@ ]; then \
31 echo "Using $< for $@"; \