%: %.c
	splint $<
	$(CC) $(CFLAGS) $< -o $*

CFLAGS=-Wall