diff options
| author | Florian Dold <florian.dold@gmail.com> | 2016-02-29 14:35:44 +0100 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2016-02-29 14:35:44 +0100 |
| commit | 2d75822e20f52dcefa7919a116ee94452883ae2b (patch) | |
| tree | 3dcba29e6427190a42f4b9d59f44a910ece2084c /update_mint.sh | |
| parent | a569de83adeddd83825c6409ff8f29017214606a (diff) | |
| download | deployment-2d75822e20f52dcefa7919a116ee94452883ae2b.tar.gz deployment-2d75822e20f52dcefa7919a116ee94452883ae2b.tar.bz2 deployment-2d75822e20f52dcefa7919a116ee94452883ae2b.zip | |
inline build for merchant/mint
Diffstat (limited to 'update_mint.sh')
| -rwxr-xr-x | update_mint.sh | 19 |
1 files changed, 18 insertions, 1 deletions
diff --git a/update_mint.sh b/update_mint.sh index 25de63c..e5882d9 100755 --- a/update_mint.sh +++ b/update_mint.sh @@ -3,9 +3,26 @@ export GNUNET_BASE_CONFIG=$HOME/deployment/taler-arm export PATH="$HOME/local/bin":$PATH +build_mint() { + ( + set -eu + + cd $HOME/mint + make clean || true + ./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 + ) +} + cd $HOME/mint && \ git pull && \ cd $HOME/deployment && \ - ./build_mint.sh && \ + build_mint && \ gnunet-arm -k taler-mint gnunet-arm -i taler-mint |