diff options
author | mathieu <mathieu.carriere3@gmail.com> | 2020-02-05 11:30:03 -0500 |
---|---|---|
committer | mathieu <mathieu.carriere3@gmail.com> | 2020-02-05 11:30:03 -0500 |
commit | dcb36634af99e7eac01188533da70028529a558a (patch) | |
tree | 94f413f8ec69d47d2901959a9a0c14993b6f1ba0 /Dockerfile_gudhi_installation | |
parent | 360cc2cc31e9e81b99f5c21aa2b4e79b066baabf (diff) | |
parent | 33540d9b4c4d320ee1482d876a10200d89ff4f49 (diff) |
Merge branch 'master' of https://github.com/GUDHI/gudhi-devel into extended_persistence
Diffstat (limited to 'Dockerfile_gudhi_installation')
-rw-r--r-- | Dockerfile_gudhi_installation | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/Dockerfile_gudhi_installation b/Dockerfile_gudhi_installation index 9fe20730..d5d86338 100644 --- a/Dockerfile_gudhi_installation +++ b/Dockerfile_gudhi_installation @@ -50,14 +50,16 @@ RUN pip3 install \ numpy \ matplotlib \ scipy \ - Cython + Cython \ + POT \ + scikit-learn # 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.0.0/gudhi.3.0.0.tar.gz" \ -&& tar xf gudhi.3.0.0.tar.gz \ -&& cd gudhi.3.0.0 \ +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 \ && 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 . \ |