summaryrefslogtreecommitdiff
path: root/Makefile
blob: 938b8c2b915ca4ecd7774a9671571cfcd295ff88 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
GHCFLAGS=-Wall -XNoCPP -fno-warn-name-shadowing -XHaskell98
HLINTFLAGS=-XHaskell98 -XNoCPP -i 'Use camelCase' -i 'Use String' -i 'Use head' -i 'Use string literal' -i 'Use list comprehension' --utf8

.PHONY: all cleas

all: verify report.html

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

report.html:
	hlint $(HLINTFLAGS) --report Data examples

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