CIVL=civl
VERIFY=$(CIVL) verify

all : malloc

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