diff options
author | Markus Teich <teichm@fs.tum.de> | 2013-09-09 15:51:14 +0000 |
---|---|---|
committer | Markus Teich <teichm@fs.tum.de> | 2013-09-09 15:51:14 +0000 |
commit | 19933122ffe6ff84cb0dcccb2782704f89df54bb (patch) | |
tree | 37f1e977f38585b114b7da564616cbbd232183eb /contrib | |
parent | ec2744982e61b8057d78734a4f68098ff4fb587f (diff) | |
download | gnunet-19933122ffe6ff84cb0dcccb2782704f89df54bb.tar.gz gnunet-19933122ffe6ff84cb0dcccb2782704f89df54bb.zip |
Add script to generate monkeys expression db.
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/generate-monkey-db.sh | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/contrib/generate-monkey-db.sh b/contrib/generate-monkey-db.sh new file mode 100755 index 000000000..2afe55501 --- /dev/null +++ b/contrib/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 | ||