V=StructTactics.v ImpSyntax.v ImpCommon.v ImpEval.v ImpStep.v ImpKStep.v ImpSemanticsFacts.v ImpInterp.v ImpInterpProof.v ImpInterpNock.v ImpInterpNockProof.v ImpExprTransf.v ImpConstFold.v ImpExprTransfProof.v ImpConstFoldProof.v ImpFoldZero.v ImpFoldZeroProof.v ImpVerif.v Swap.v Sum.v

VO=$(patsubst %.v,%.vo,$(V))

all: $(VO)

%.vo: %.v
	coqc $<