diff options
author | Jie Luo <jieluo@google.com> | 2017-08-22 10:36:52 -0700 |
---|---|---|
committer | Jie Luo <jieluo@google.com> | 2017-08-22 15:59:27 -0700 |
commit | 028d6f13ee15e7a8ade2339634682fed11675e22 (patch) | |
tree | ebbd05efe2e09fbcef0617e4588e3c4eceeab69d /jenkins/docker | |
parent | 0b7e97880c1ac3b3a7bfeccc51a5b852c8bd37ee (diff) |
Add Python 3.5 3.6
Diffstat (limited to 'jenkins/docker')
-rw-r--r-- | jenkins/docker/Dockerfile | 7 |
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 |