diff options
| author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-11-13 23:22:04 +0100 |
|---|---|---|
| committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-11-13 23:22:04 +0100 |
| commit | cc57c64c9a5b1c0e7935949560c13e45dc6da211 (patch) | |
| tree | c2c0d245cc1f7eaf927d0455cbd74dce26bd88d6 /docker/base/Dockerfile | |
| parent | 0a295ce00f0f66b35adaca45ab5e9696a4337659 (diff) | |
| download | deployment-cc57c64c9a5b1c0e7935949560c13e45dc6da211.tar.gz deployment-cc57c64c9a5b1c0e7935949560c13e45dc6da211.tar.bz2 deployment-cc57c64c9a5b1c0e7935949560c13e45dc6da211.zip | |
splitting base container
Diffstat (limited to 'docker/base/Dockerfile')
| -rw-r--r-- | docker/base/Dockerfile | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/docker/base/Dockerfile b/docker/base/Dockerfile deleted file mode 100644 index 026d3a6..0000000 --- a/docker/base/Dockerfile +++ /dev/null @@ -1,26 +0,0 @@ -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 |