diff options
| author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-08-11 17:13:22 +0200 |
|---|---|---|
| committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-08-11 17:13:22 +0200 |
| commit | a08971af8be1405c91429cf52e4c3301ffd50945 (patch) | |
| tree | 9b8447f57b250c1622f0aa5df199b599454496cb /Dockerfile_gudhi_installation | |
| parent | 92fe082aed387ef050d5077157daea9ee3a7c7f4 (diff) | |
Next release + version creation improvement
Diffstat (limited to 'Dockerfile_gudhi_installation')
| -rw-r--r-- | Dockerfile_gudhi_installation | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Dockerfile_gudhi_installation b/Dockerfile_gudhi_installation index 996dd06b..92430fce 100644 --- a/Dockerfile_gudhi_installation +++ b/Dockerfile_gudhi_installation @@ -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.2.0/gudhi.3.2.0.tar.gz" \ -&& tar xf gudhi.3.2.0.tar.gz \ -&& cd gudhi.3.2.0 \ +RUN curl -LO "https://github.com/GUDHI/gudhi-devel/releases/download/tags%2Fgudhi-release-3.3.0/gudhi.3.3.0.tar.gz" \ +&& tar xf gudhi.3.3.0.tar.gz \ +&& cd gudhi.3.3.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 . \ |