commit 92a09a54a1fb4ff0b2ee93dad9191498dd239611
parent aecc1ab35271605825fa0b0a6a06498f58214aca
Author: Marcello Stanisci <marcello.stanisci@inria.fr>
Date: Sun, 13 Nov 2016 23:10:25 +0100
removing non-existent libcurl-dev from debian packages to be installed in docker base
Diffstat:
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git 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/ \