From 0f8d2bde932f350e25bed760db52ebfafef111fc Mon Sep 17 00:00:00 2001 From: ROUVREAU Vincent Date: Thu, 10 Dec 2020 11:18:44 +0100 Subject: Need to rebuild gudhi/pip_for_gudhi docker image --- Dockerfile_for_pip | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Dockerfile_for_pip b/Dockerfile_for_pip index 98668a04..8f9f2443 100644 --- a/Dockerfile_for_pip +++ b/Dockerfile_for_pip @@ -39,12 +39,14 @@ RUN /opt/python/cp35-cp35m/bin/pip install -r build-requirements.txt \ && /opt/python/cp36-cp36m/bin/pip install -r build-requirements.txt\ && /opt/python/cp37-cp37m/bin/pip install -r build-requirements.txt\ && /opt/python/cp38-cp38/bin/pip install -r build-requirements.txt\ - && /opt/python/cp38-cp38/bin/pip install twine + && /opt/python/cp39-cp39/bin/pip install -r build-requirements.txt\ + && /opt/python/cp39-cp39/bin/pip install twine ENV PYTHON35="/opt/python/cp35-cp35m/" ENV PYTHON36="/opt/python/cp36-cp36m/" ENV PYTHON37="/opt/python/cp37-cp37m/" ENV PYTHON38="/opt/python/cp38-cp38/" +ENV PYTHON38="/opt/python/cp39-cp39/" ENV PATH="/opt/cmake/bin:${PATH}" ENV PATH="/opt/rh/devtoolset-8/root/usr/bin:${PATH}" -- cgit v1.2.3