diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 8 |
1 files changed, 7 insertions, 1 deletions
@@ -3,7 +3,7 @@ HLINTFLAGS=-XHaskell98 -XNoCPP -i 'Use camelCase' -i 'Use String' -i 'Use head' | |||
3 | 3 | ||
4 | .PHONY: all cleas | 4 | .PHONY: all cleas |
5 | 5 | ||
6 | all: verify report.html | 6 | all: verify report.html README |
7 | 7 | ||
8 | verify: examples/verify.hs | 8 | verify: examples/verify.hs |
9 | ghc --make $(GHCFLAGS) -o $@ $^ | 9 | ghc --make $(GHCFLAGS) -o $@ $^ |
@@ -11,6 +11,12 @@ verify: examples/verify.hs | |||
11 | report.html: | 11 | report.html: |
12 | hlint $(HLINTFLAGS) --report Data examples | 12 | hlint $(HLINTFLAGS) --report Data examples |
13 | 13 | ||
14 | README: openpgp.cabal | ||
15 | tail -n+$$(( `grep -n ^description: $^ | head -n1 | cut -d: -f1` + 1 )) $^ > .$@ | ||
16 | head -n+$$(( `grep -n ^$$ .$@ | head -n1 | cut -d: -f1` - 1 )) .$@ > $@ | ||
17 | printf ',s/ //g\n,s/^.$$//g\nw\nq\n' | ed $@ | ||
18 | $(RM) .$@ | ||
19 | |||
14 | clean: | 20 | clean: |
15 | find -name '*.o' -o -name '*.hi' | xargs $(RM) | 21 | find -name '*.o' -o -name '*.hi' | xargs $(RM) |
16 | $(RM) verify | 22 | $(RM) verify |