ALLFILES=CPS.Simple CPS.Double CPS.DoubleLambdaLifting2 CPS.DoubleDefun CPS.Expr \
	 CPS.SimpleDefun CPS.SimpleLambdaLifting Eval.DB mcCarthy91 termination

include ../Makefile.include

all: $(addsuffix .uver, $(ALLFILES))
