build_mint.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
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