CIVL=civl
VERIFY=$(CIVL) verify

all : malloc postIncr

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

clean:
	rm -rf *~ CIVLREP