diff options
author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-11-13 23:37:19 +0100 |
---|---|---|
committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-11-13 23:37:19 +0100 |
commit | 9db0da818758b1e6b25e2c569ce5b582b1ac4857 (patch) | |
tree | 67f39cae4736245f2f6b21cfee361dc57499f1b8 /docker/base | |
parent | 09129e53a64eee0deb7d3a9d422c775778ae64db (diff) | |
download | deployment-9db0da818758b1e6b25e2c569ce5b582b1ac4857.tar.gz deployment-9db0da818758b1e6b25e2c569ce5b582b1ac4857.tar.bz2 deployment-9db0da818758b1e6b25e2c569ce5b582b1ac4857.zip |
re-adding lost Dockerfile
Diffstat (limited to 'docker/base')
-rw-r--r-- | docker/base/Dockerfile | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/docker/base/Dockerfile b/docker/base/Dockerfile new file mode 100644 index 0000000..026d3a6 --- /dev/null +++ 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 |