aboutsummaryrefslogtreecommitdiffhomepage
path: root/jenkins/docker
diff options
context:
space:
mode:
authorGravatar Jie Luo <jieluo@google.com>2017-08-22 10:36:52 -0700
committerGravatar Jie Luo <jieluo@google.com>2017-08-22 15:59:27 -0700
commit028d6f13ee15e7a8ade2339634682fed11675e22 (patch)
treeebbd05efe2e09fbcef0617e4588e3c4eceeab69d /jenkins/docker
parent0b7e97880c1ac3b3a7bfeccc51a5b852c8bd37ee (diff)
Add Python 3.5 3.6
Diffstat (limited to 'jenkins/docker')
-rw-r--r--jenkins/docker/Dockerfile7
1 files changed, 7 insertions, 0 deletions
diff --git a/jenkins/docker/Dockerfile b/jenkins/docker/Dockerfile
index 8faba4c6..3a279e66 100644
--- a/jenkins/docker/Dockerfile
+++ b/jenkins/docker/Dockerfile
@@ -217,6 +217,13 @@ RUN apt-get install -y \
# -- For javascript -- \
npm
+##################
+# Python 3.5 3.6 dependencies.
+RUN apt-get clean && apt-get update && apt-get install -y --force-yes \
+ python3.5-dev \
+ python3.6-dev \
+ && apt-get clean
+
# On Debian/Ubuntu, nodejs binary is named 'nodejs' because the name 'node'
# is taken by another legacy binary. We don't have that legacy binary and
# npm expects the binary to be named 'node', so we just create a symbol