summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorStephen Paul Weber <singpolyma@singpolyma.net>2011-08-08 23:52:02 -0500
committerStephen Paul Weber <singpolyma@singpolyma.net>2011-08-08 23:52:02 -0500
commit86f5e6145e92fd234a062e8807b2efe30f28cd0e (patch)
treef6c010d04e897c2baae15e26f4f38acba24a4337 /Makefile
parenta09c81ee9ff6ed496d3d4ee1d154bf98d8ad0375 (diff)
Rule for hlint report
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile8
1 files changed, 8 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 20e769f..938b8c2 100644
--- a/Makefile
+++ b/Makefile
@@ -1,8 +1,16 @@
1GHCFLAGS=-Wall -XNoCPP -fno-warn-name-shadowing -XHaskell98 1GHCFLAGS=-Wall -XNoCPP -fno-warn-name-shadowing -XHaskell98
2HLINTFLAGS=-XHaskell98 -XNoCPP -i 'Use camelCase' -i 'Use String' -i 'Use head' -i 'Use string literal' -i 'Use list comprehension' --utf8
3
4.PHONY: all cleas
5
6all: verify report.html
2 7
3verify: examples/verify.hs 8verify: examples/verify.hs
4 ghc --make $(GHCFLAGS) -o $@ $^ 9 ghc --make $(GHCFLAGS) -o $@ $^
5 10
11report.html:
12 hlint $(HLINTFLAGS) --report Data examples
13
6clean: 14clean:
7 find -name '*.o' -o -name '*.hi' | xargs $(RM) 15 find -name '*.o' -o -name '*.hi' | xargs $(RM)
8 $(RM) verify 16 $(RM) verify