diff options
Diffstat (limited to 'contrib/scripts/generate-monkey-db.sh')
-rwxr-xr-x | contrib/scripts/generate-monkey-db.sh | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/contrib/scripts/generate-monkey-db.sh b/contrib/scripts/generate-monkey-db.sh new file mode 100755 index 000000000..2afe55501 --- /dev/null +++ b/contrib/scripts/generate-monkey-db.sh | |||
@@ -0,0 +1,17 @@ | |||
1 | #!/bin/sh | ||
2 | |||
3 | BASEPATH="$(dirname $0)" | ||
4 | OLDDIR="${pwd}" | ||
5 | GN_HOME="/usr/local/bin" | ||
6 | |||
7 | export CC="cparser" | ||
8 | export CFLAGS="-m32 --seaspider" | ||
9 | |||
10 | cd $BASEPATH/.. && ./configure --prefix=$GN_HOME --with-extractor=$GN_HOME --with-microhttpd=$GN_HOME --with-libgcrypt=$GN_HOME && make && seaspider | ||
11 | if test "$?" -ne 0 | ||
12 | then | ||
13 | echo "FAIL: building GNUnet" | ||
14 | exit 1 | ||
15 | fi | ||
16 | |||
17 | cd $OLDDIR | ||