/
Makefile
40 lines (28 loc) · 839 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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
# (c) Copyright Levent Erkok. All rights reserved.
#
# The sbv library is distributed with the BSD3 license. See the LICENSE file
# in the distribution for details.
SRCS = $(shell find . -name '*.hs' -or -name '*.lhs' | grep -v SBVUnitTest/SBVUnitTest.hs)
.PHONY: all install test sdist clean docs gold tags
all: install test sdist
install:
cabal install
test:
@echo "Executing inline tests.."
@time (doctest ${SRCS} | grep -v "Could not find documentation" | exit 0)
@echo "Starting external test suite.."
@time (SBVUnitTests | cat)
sdist:
cabal sdist
clean:
cabal clean
docs:
cabal haddock --hyperlink-source
configure:
cabal configure
release: clean all docs
gold:
ghc -idist/build/autogen/ SBVUnitTest/SBVUnitTest.hs -e "createGolds \"${TGTS}\""
tags:
find . -name \*.\*hs | xargs hasktags -c
sort -o tags tags