#!/bin/bash

set -eu

cd $HOME/exchange
git clean -fdx

# like "git pull", but robust against force pushes
# and local changes
git fetch
git reset --hard FETCH_HEAD

./bootstrap
./configure CFLAGS='-ggdb -O0' \
        --with-libgnurl=$HOME/local \
        --with-microhttpd=$HOME/local \
        --prefix=$HOME/local --with-gnunet=$HOME/local \
        --enable-logging=verbose
make
make install
TALER_EXCHANGEDB_POSTGRES_CONFIG=$TALER_CHECKDB make check