blob: 2956ba8227803e9108d34c825e0d6c7399cdcf32 (
plain)
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
41
42
43
44
|
#!/bin/bash
set -eu
cd $HOME/exchange
git clean -fdx
git fetch
# reset to updated upstream branch, but only if we're tracking a branch
branch=$(git rev-parse --abbrev-ref --symbolic-full-name @{u} 2>/dev/null || echo HEAD)
git reset --hard "$branch"
./bootstrap
if test ${1:-notgiven} = "--coverage"; then
./configure CFLAGS='-ggdb -O0' \
--with-libgnurl=$HOME/local \
--with-microhttpd=$HOME/local \
--prefix=$HOME/local --with-gnunet=$HOME/local \
--enable-logging=verbose \
--enable-coverage
else
./configure CFLAGS='-ggdb -O0' \
--with-libgnurl=$HOME/local \
--with-microhttpd=$HOME/local \
--prefix=$HOME/local --with-gnunet=$HOME/local \
--enable-logging=verbose
fi
make
make install
if test ${1:-notgiven} = "--coverage"; then
TOP=$(pwd)
mkdir -p doc/coverage/
lcov -d $TOP -z
TALER_AUDITORDB_POSTGRES_CONFIG=$TALER_CHECKDB TALER_EXCHANGEDB_POSTGRES_CONFIG=$TALER_CHECKDB make check || exit 1
lcov -d $TOP -c --no-external -o doc/coverage/coverage.info
lcov -r doc/coverage/coverage.info **/test_* -o doc/coverage/rcoverage.info
genhtml -o doc/coverage doc/coverage/rcoverage.info
chmod a+rx -R doc/
else
echo "checkdb: $TALER_CHECKDB"
TALER_AUDITORDB_POSTGRES_CONFIG=$TALER_CHECKDB TALER_EXCHANGEDB_POSTGRES_CONFIG=$TALER_CHECKDB make check
fi
|
