CIVL=civl
VERIFY=$(CIVL) verify

all: io fscanf defaultLength

io: io.cvl
	$(VERIFY) io.cvl

fscanf: fscanf.cvl
	$(VERIFY) fscanf.cvl

defaultLength: defaultLength.cvl
	$(VERIFY) defaultLength.cvl
