Merge branch 'master' of ssh://gnunet.org/gnunet
[oweals/gnunet.git] / contrib / scripts / generate-monkey-db.sh
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