diff options
author | Florian Dold <florian.dold@gmail.com> | 2016-02-28 22:27:07 +0100 |
---|---|---|
committer | Florian Dold <florian.dold@gmail.com> | 2016-02-28 22:27:07 +0100 |
commit | b7f0dfec8a1fe7f9aa6e4a18947812c4a4524762 (patch) | |
tree | b91924b309db168dae2720ddfdf9f74f8d2437cc /build_merchant.sh | |
download | deployment-b7f0dfec8a1fe7f9aa6e4a18947812c4a4524762.tar.gz deployment-b7f0dfec8a1fe7f9aa6e4a18947812c4a4524762.tar.bz2 deployment-b7f0dfec8a1fe7f9aa6e4a18947812c4a4524762.zip |
add old deployment scripts
Diffstat (limited to 'build_merchant.sh')
-rwxr-xr-x | build_merchant.sh | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/build_merchant.sh b/build_merchant.sh new file mode 100755 index 0000000..f30642b --- /dev/null +++ b/build_merchant.sh @@ -0,0 +1,14 @@ +#!/bin/bash + +set -eu + +cd $HOME/merchant +make clean || true +./bootstrap +./configure CFLAGS='-ggdb -O0' \ + --prefix=$HOME/local --with-gnunet=$HOME/local \ + --with-mint=$HOME/local \ + --with-microhttpd=$HOME/local \ + --enable-logging=verbose +make +make install |