7321: arvados/jobs Dockerfile installs development headers.

[arvados.git] / docker / jobs / Dockerfile

diff --git a/docker/jobs/Dockerfile b/docker/jobs/Dockerfile
index 41e4aea1ddcf0f4b69a6735b72fcbecf7b942a72..ec1e929f03d686044fcd17116179777667ad6e67 100644 (file)
--- a/docker/jobs/Dockerfile
+++ b/docker/jobs/Dockerfile
@@ -8,7 +8,7 @@ ADD apt.arvados.org.list /etc/apt/sources.list.d/
 RUN apt-key adv --keyserver pool.sks-keyservers.net --recv 1078ECD7
 RUN apt-get update -q
 
-RUN apt-get install -qy git python-minimal python-virtualenv python-arvados-python-client
+RUN apt-get install -qy git python-minimal python-virtualenv python-arvados-python-client python-dev libcurl4-gnutls-dev
 
 RUN gpg --keyserver pool.sks-keyservers.net --recv-keys D39DC0E3