From d6cd3831e8fcfaaa4a3e2bd27650f00c147447f5 Mon Sep 17 00:00:00 2001 From: Will Holley Date: Wed, 14 Aug 2019 20:42:52 +0100 Subject: [PATCH] add setuptools to dev images --- dev-cluster/Dockerfile | 5 +++-- dev/Dockerfile | 3 ++- 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/dev-cluster/Dockerfile b/dev-cluster/Dockerfile index d2fd296..609c70b 100644 --- a/dev-cluster/Dockerfile +++ b/dev-cluster/Dockerfile @@ -24,7 +24,7 @@ RUN apt-get update -y && apt-get install -y --no-install-recommends \ curl \ dirmngr \ gnupg \ - haproxy \ + haproxy \ libicu57 \ libmozjs185-1.0 \ openssl && \ @@ -84,7 +84,8 @@ RUN apt-get update -y && apt-get install -y --no-install-recommends \ python3 \ libpython3-dev \ python3-pip \ - python3-sphinx + python3-sphinx \ + python3-setuptools RUN pip3 install --upgrade \ sphinx_rtd_theme \ diff --git a/dev/Dockerfile b/dev/Dockerfile index f3ab329..4a48d64 100644 --- a/dev/Dockerfile +++ b/dev/Dockerfile @@ -99,7 +99,8 @@ RUN apt-get update -y && apt-get install -y --no-install-recommends \ python3 \ libpython3-dev \ python3-pip \ - python3-sphinx + python3-sphinx \ + python3-setuptools RUN pip3 install --upgrade \ sphinx_rtd_theme \