-
Notifications
You must be signed in to change notification settings - Fork 15
/
makefile
26 lines (20 loc) · 747 Bytes
/
makefile
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
.PHONY: tests shell bench pl docs coverage
tests:
(cd specs; runghc -i../src Specs)
shell:
ghci -isrc -iprolog-graph -outputdir dist/build Prolog GraphViz Quote IsString -XOverloadedStrings -XQuasiQuotes
bench:
( cd bench; \
ghc -i../src -O --make Bench -main-is Bench -o runbench && \
time -p ./runbench 8 \
)
pl:
ghc -isrc -outputdir dist/build -O --make Console -main-is Console -o $@
docs:
cabal configure && cabal haddock --hyperlink-source
coverage:
ghc -fhpc -isrc -outputdir dist/build Specs -main-is Specs -o coverage/runspecs
cd coverage; ./runspecs ../specs 2>/dev/null >/dev/null
hpc report coverage/runspecs
hpc markup coverage/runspecs --destdir=coverage --exclude=Prolog --exclude=Specs
rm coverage/runspecs*