2019-03-26 21:32:02 -04:00
|
|
|
.PHONY: all sv2v clean test
|
2019-02-08 01:09:10 -05:00
|
|
|
|
|
|
|
|
all: sv2v
|
|
|
|
|
|
2019-02-11 23:44:02 -05:00
|
|
|
sv2v:
|
2019-02-08 16:51:32 -05:00
|
|
|
mkdir -p bin
|
2019-02-28 13:52:31 -05:00
|
|
|
stack install --install-ghc --local-bin-path bin
|
2019-02-08 01:09:10 -05:00
|
|
|
|
|
|
|
|
clean:
|
2019-02-11 23:44:02 -05:00
|
|
|
stack clean
|
|
|
|
|
rm -rf bin
|
2019-03-26 21:32:02 -04:00
|
|
|
|
|
|
|
|
test:
|
2019-04-02 23:11:08 -04:00
|
|
|
(cd test && ./run-all.sh)
|
2020-12-11 12:40:21 -07:00
|
|
|
|
|
|
|
|
coverage:
|
|
|
|
|
stack install --local-bin-path bin --ghc-options=-fhpc
|
|
|
|
|
rm -f test/*/sv2v.tix
|
|
|
|
|
make test
|
|
|
|
|
stack exec hpc -- sum test/*/sv2v.tix --union --output=.hpc/combined.tix
|
|
|
|
|
stack exec hpc -- markup .hpc/combined.tix --destdir=.hpc
|
