diff options
author | Gard Spreemann <gspr@nonempty.org> | 2021-01-22 11:18:24 +0100 |
---|---|---|
committer | Gard Spreemann <gspr@nonempty.org> | 2021-01-22 11:18:24 +0100 |
commit | 2c221bfcf8effff9b010de8b2e13a22f6bc15201 (patch) | |
tree | 5cb2a4cf7baf126302757a720b22fc9cce49f4f5 /Dockerfile_for_pip | |
parent | b6a3def70b15baf2dda0844762dcd291e240d2c1 (diff) | |
parent | 0d4d99efd1ea1c594be14baca0bab714ed172607 (diff) |
Merge tag 'tags/gudhi-release-3.4.1' into dfsg/latest
Diffstat (limited to 'Dockerfile_for_pip')
-rw-r--r-- | Dockerfile_for_pip | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Dockerfile_for_pip b/Dockerfile_for_pip index d5ae6417..ada39647 100644 --- a/Dockerfile_for_pip +++ b/Dockerfile_for_pip @@ -24,14 +24,14 @@ RUN wget https://dl.bintray.com/boostorg/release/1.73.0/source/boost_1_73_0.tar. && cd .. \ && rm -rf boost -RUN wget https://github.com/CGAL/cgal/releases/download/v5.1/CGAL-5.1.tar.xz \ - && tar xf CGAL-5.1.tar.xz \ +RUN wget https://github.com/CGAL/cgal/releases/download/v5.2/CGAL-5.2.tar.xz \ + && tar xf CGAL-5.2.tar.xz \ && mkdir build \ && cd build \ - && /opt/cmake/bin/cmake -DCMAKE_BUILD_TYPE=Release ../CGAL-5.1/ \ + && /opt/cmake/bin/cmake -DCMAKE_BUILD_TYPE=Release ../CGAL-5.2/ \ && make install \ && cd .. \ - && rm -rf build CGAL-5.1 + && rm -rf build CGAL-5.2 ADD .github/build-requirements.txt / |