PACKAGE = cic_proof_checking REQUIRES = helm-cic PREDICATES = INTERFACE_FILES = cicSubstitution.mli cicEnvironment.mli cicPp.mli \ cicMiniReduction.mli cicReduction.mli cicTypeChecker.mli \ cicCooking.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 include ../Makefile.common