diff options
author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-12-10 11:18:44 +0100 |
---|---|---|
committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-12-10 11:18:44 +0100 |
commit | 0f8d2bde932f350e25bed760db52ebfafef111fc (patch) | |
tree | 342bb0379a358cacd5b622ee263d60c3a7e21f03 | |
parent | ed7dcbebad7dd6fee114723eb34601b292a2e72c (diff) |
Need to rebuild gudhi/pip_for_gudhi docker image
-rw-r--r-- | Dockerfile_for_pip | 4 |
1 files changed, 3 insertions, 1 deletions
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}" |