Makefile


1
2
3
4
5
6
7
8

GHCFLAGS=-Wall -XNoCPP -fno-warn-name-shadowing -XHaskell98

verify: examples/verify.hs
	ghc --make $(GHCFLAGS) -o $@ $^

clean:
	find -name '*.o' -o -name '*.hi' | xargs $(RM)
	$(RM) verify