blob: 20e769f24d790afbdccc2ae7fd415b2137825555 (
plain)
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
|