diff options
author | Gard Spreemann <gspr@nonempty.org> | 2020-08-11 13:57:10 +0200 |
---|---|---|
committer | Gard Spreemann <gspr@nonempty.org> | 2020-08-11 13:57:10 +0200 |
commit | 1c4694087c9cc2ea155ba99cd3484f788ad4daad (patch) | |
tree | 24d3b0e0451decf442e5c92f4c5d473ccfc60b76 /Dockerfile_gudhi_installation | |
parent | fe7ba81633feafa9232546be4fef18cf37766b1f (diff) | |
parent | 1c05c20d7cf92c96b5036620cc892cb956c96785 (diff) |
Merge branch 'dfsg/latest' into debian/sid
Diffstat (limited to 'Dockerfile_gudhi_installation')
-rw-r--r-- | Dockerfile_gudhi_installation | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Dockerfile_gudhi_installation b/Dockerfile_gudhi_installation index f9e8813b..996dd06b 100644 --- a/Dockerfile_gudhi_installation +++ b/Dockerfile_gudhi_installation @@ -1,4 +1,4 @@ -FROM ubuntu:19.04 +FROM ubuntu:20.04 # Update and upgrade distribution RUN apt-get update && \ @@ -58,9 +58,9 @@ RUN pip3 install \ # apt clean up RUN apt autoremove && rm -rf /var/lib/apt/lists/* -RUN curl -LO "https://github.com/GUDHI/gudhi-devel/releases/download/tags%2Fgudhi-release-3.1.1/gudhi.3.1.1.tar.gz" \ -&& tar xf gudhi.3.1.1.tar.gz \ -&& cd gudhi.3.1.1 \ +RUN curl -LO "https://github.com/GUDHI/gudhi-devel/releases/download/tags%2Fgudhi-release-3.2.0/gudhi.3.2.0.tar.gz" \ +&& tar xf gudhi.3.2.0.tar.gz \ +&& cd gudhi.3.2.0 \ && mkdir build && cd build && cmake -DCMAKE_BUILD_TYPE=Release -DWITH_GUDHI_PYTHON=OFF -DPython_ADDITIONAL_VERSIONS=3 .. \ && make all test install \ && cmake -DWITH_GUDHI_PYTHON=ON . \ |