1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
#!/bin/bash
if [ ! -f 'system-filepath.cabal' ]; then
echo -n "Can't find system-filepath.cabal; please run this script as"
echo -n " ./scripts/run-coverage from within the system-filepath source"
echo " directory"
exit 1
fi
. scripts/common.bash
require_cabal_dev
pushd tests
$CABAL_DEV -s ../cabal-dev install --flags="coverage" || exit 1
popd
rm -f system-filepath_tests.tix
cabal-dev/bin/system-filepath_tests $@
hpc markup --srcdir=src --srcdir=tests/ system-filepath_tests.tix --destdir=hpc-markup --exclude=Main
hpc report --srcdir=src --srcdir=tests/ system-filepath_tests.tix --exclude=Main
|
