diff options
| author | Marcello Stanisci <stanisci.m@gmail.com> | 2018-09-10 09:49:11 +0200 |
|---|---|---|
| committer | Marcello Stanisci <stanisci.m@gmail.com> | 2018-09-10 09:49:11 +0200 |
| commit | b47a08180d0f2f06d79efe7d75ea76a1950ad867 (patch) | |
| tree | 7056f6c4b4028f02c0c601d31ac4ed54e79e98d9 | |
| parent | 6aa78c4a46aca148b1a62c0864bd9c258f4af59a (diff) | |
| download | deployment-b47a08180d0f2f06d79efe7d75ea76a1950ad867.tar.gz deployment-b47a08180d0f2f06d79efe7d75ea76a1950ad867.tar.bz2 deployment-b47a08180d0f2f06d79efe7d75ea76a1950ad867.zip | |
Building.
MHD takes the --with-gnutls=/usr/local argument
because the Debian (unstable) package is too behind
what MHD needs, and a updated version of GnuTls has
been compiled into /usr/local.
| -rwxr-xr-x | taler-build/update_libmicrohttpd.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/taler-build/update_libmicrohttpd.sh b/taler-build/update_libmicrohttpd.sh index 56b8837..3168507 100755 --- a/taler-build/update_libmicrohttpd.sh +++ b/taler-build/update_libmicrohttpd.sh @@ -9,6 +9,7 @@ branch=$(git rev-parse --abbrev-ref --symbolic-full-name @{u} 2>/dev/null || ech git reset --hard "$branch" ./bootstrap -./configure --prefix=$HOME/local +./configure --prefix=$HOME/local \ + --with-gnutls=/usr/local # Debian packages are too old. make make install |