commit 9db0da818758b1e6b25e2c569ce5b582b1ac4857 parent 09129e53a64eee0deb7d3a9d422c775778ae64db Author: Marcello Stanisci <marcello.stanisci@inria.fr> Date: Sun, 13 Nov 2016 23:37:19 +0100 re-adding lost Dockerfile Diffstat:
| A | docker/base/Dockerfile | | | 26 | ++++++++++++++++++++++++++ |
1 file changed, 26 insertions(+), 0 deletions(-)
diff --git a/docker/base/Dockerfile b/docker/base/Dockerfile @@ -0,0 +1,26 @@ +FROM debian:stable + +RUN apt-get update && apt-get install -qqy \ + git \ + build-essential \ + autoconf \ + autopoint \ + libtool \ + libgcrypt20 \ + libidn11-dev \ + zlib1g-dev \ + libunistring-dev \ + libjansson-dev \ + libpq-dev \ + libmicrohttpd-dev + +RUN git clone https://gnunet.org/git/gnunet/ \ + && git clone https://gnunet.org/git/libmicrohttpd/ \ + && git clone git://taler.net/gnurl/ + +WORKDIR gnurl + +RUN ./buildconf + ./configure --enable-ipv6 --with-gnutls --without-libssh2 --without-libmetalink --without-winidn --without-librtmp --without-nghttp2 --without-nss --without-cyassl --without-polarssl --without-ssl --without-winssl --without-darwinssl --disable-sspi --disable-ntlm-wb --disable-ldap --disable-rtsp --disable-dict --disable-telnet --disable-tftp --disable-pop3 --disable-imap --disable-smtp --disable-gopher --disable-file --disable-ftp --disable-smb --prefix=$HOME/local + make + make install