.PHONY: check clean filerw fileopen filebranch

SPLINT = splint
EXTRAPATH = LARCH_PATH=".:$(LARCH_PATH)"

check: filerw fileopen filebranch

filerw:
	$(EXTRAPATH) ${SPLINT} -mts file -mts filerw filerw.c -expect 3

fileopen:
	$(EXTRAPATH) ${SPLINT} -mts file -mts filerw file.c -expect 3

filebranch:
	$(EXTRAPATH) ${SPLINT} -mts file filebranch.c
