diff options
author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-09-18 16:27:49 +0200 |
---|---|---|
committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-09-18 16:27:49 +0200 |
commit | c6619e0207abf0fb5198b66a8d8f00f975c3da84 (patch) | |
tree | ab4eff8b44e03497957632b52f95f02ad8a69ff2 /Dockerfile_for_pip | |
parent | 8afdbebe27effb0a9c184a153b645dd85aa0415b (diff) |
Use CGAL 5.1 by default on dockers. Update next release
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 8f60e37c..83c6d684 100644 --- a/Dockerfile_for_pip +++ b/Dockerfile_for_pip @@ -23,14 +23,14 @@ RUN git clone -b boost-1.73.0 --depth 1 https://github.com/boostorg/boost.git \ && cd .. \ && rm -rf boost -RUN wget https://github.com/CGAL/cgal/releases/download/releases%2FCGAL-5.0.2/CGAL-5.0.2.tar.xz \ - && tar xf CGAL-5.0.2.tar.xz \ +RUN wget https://github.com/CGAL/cgal/releases/download/v5.1/CGAL-5.1.tar.xz \ + && tar xf CGAL-5.1.tar.xz \ && mkdir build \ && cd build \ - && /opt/cmake/bin/cmake -DCMAKE_BUILD_TYPE=Release ../CGAL-5.0.2/ \ + && /opt/cmake/bin/cmake -DCMAKE_BUILD_TYPE=Release ../CGAL-5.1/ \ && make install \ && cd .. \ - && rm -rf build CGAL-5.0.2 + && rm -rf build CGAL-5.1 ADD .github/build-requirements.txt / |