CIVL=civl
VERIFY=$(CIVL) verify

all : malloc postIncr

malloc : malloc.cvl
	$(VERIFY) malloc.cvl
	
postIncr : postIncr.cvl
	$(VERIFY) postIncr.cvl
