PACKAGE = cic_proof_checking REQUIRES = helm-cic helm-logger helm-getter helm-xml pxp PREDICATES = REDUCTION_IMPLEMENTATION = cicReductionMachine.ml INTERFACE_FILES = \ cicLogger.mli \ cicEnvironment.mli \ cicPp.mli \ cicUnivUtils.mli \ cicSubstitution.mli \ cicMiniReduction.mli \ cicReductionNaif.mli \ cicReduction.mli \ cicTypeChecker.mli \ cicElim.mli IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml) # Metadata tools only need zeta-reduction EXTRA_OBJECTS_TO_INSTALL = \ cicSubstitution.cmo cicSubstitution.cmx cicSubstitution.o \ cicMiniReduction.cmo cicMiniReduction.cmx cicMiniReduction.o EXTRA_OBJECTS_TO_CLEAN = include ../Makefile.common cicReduction.ml: $(REDUCTION_IMPLEMENTATION) if ! [ -f $@ ]; then \ echo "Using $< for $@"; \ ln -s $< $@; \ else \ true; \ fi