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_mint.sh | |
download | deployment-b7f0dfec8a1fe7f9aa6e4a18947812c4a4524762.tar.gz deployment-b7f0dfec8a1fe7f9aa6e4a18947812c4a4524762.tar.bz2 deployment-b7f0dfec8a1fe7f9aa6e4a18947812c4a4524762.zip |
add old deployment scripts
Diffstat (limited to 'build_mint.sh')
-rwxr-xr-x | build_mint.sh | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/build_mint.sh b/build_mint.sh new file mode 100755 index 0000000..8f14aa7 --- /dev/null +++ b/build_mint.sh @@ -0,0 +1,15 @@ +#!/bin/bash + +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 + |