diff options
author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-11-13 23:10:25 +0100 |
---|---|---|
committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-11-13 23:10:25 +0100 |
commit | 92a09a54a1fb4ff0b2ee93dad9191498dd239611 (patch) | |
tree | af1fbeec21ea480d03f179bba8bb3921cf72ac3c /docker | |
parent | aecc1ab35271605825fa0b0a6a06498f58214aca (diff) | |
download | deployment-92a09a54a1fb4ff0b2ee93dad9191498dd239611.tar.gz deployment-92a09a54a1fb4ff0b2ee93dad9191498dd239611.tar.bz2 deployment-92a09a54a1fb4ff0b2ee93dad9191498dd239611.zip |
removing non-existent libcurl-dev from debian packages to be installed in docker base
Diffstat (limited to 'docker')
-rw-r--r-- | docker/base/Dockerfile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/docker/base/Dockerfile b/docker/base/Dockerfile index 27ea0f9..94e5e0a 100644 --- a/docker/base/Dockerfile +++ b/docker/base/Dockerfile @@ -12,8 +12,7 @@ RUN apt-get update && apt-get install -y \ libunistring-dev \ libjansson-dev \ libpq-dev \ - libmicrohttpd-dev \ - libcurl-dev + libmicrohttpd-dev RUN git clone https://gnunet.org/git/gnunet/ \ && git clone https://gnunet.org/git/libmicrohttpd/ \ |