From f7317664c051dd1f49861c2e22c3bf3ca471052c Mon Sep 17 00:00:00 2001 From: ROUVREAU Vincent Date: Mon, 10 Feb 2020 13:21:01 +0100 Subject: Gudhi version 3.1.1 --- Dockerfile_gudhi_installation | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'Dockerfile_gudhi_installation') diff --git a/Dockerfile_gudhi_installation b/Dockerfile_gudhi_installation index d5d86338..33864d11 100644 --- a/Dockerfile_gudhi_installation +++ b/Dockerfile_gudhi_installation @@ -57,11 +57,11 @@ 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.0/gudhi.3.1.0.tar.gz" \ -&& tar xf gudhi.3.1.0.tar.gz \ -&& cd gudhi.3.1.0 \ +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 \ && 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 . \ && cd python \ -&& python3 setup.py install \ No newline at end of file +&& python3 setup.py install -- cgit v1.2.3