From cd4d24d3bdf6d39582ab74ffedf94f2f60a734ab Mon Sep 17 00:00:00 2001 From: ROUVREAU Vincent Date: Thu, 7 Jan 2021 08:07:31 +0100 Subject: CGAL 5.2 --- Dockerfile_for_circleci_image | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'Dockerfile_for_circleci_image') diff --git a/Dockerfile_for_circleci_image b/Dockerfile_for_circleci_image index ec1b8ff8..f20602b0 100644 --- a/Dockerfile_for_circleci_image +++ b/Dockerfile_for_circleci_image @@ -50,14 +50,14 @@ RUN apt-get install -y make \ pkg-config \ curl -RUN curl -LO "https://github.com/CGAL/cgal/releases/download/v5.1/CGAL-5.1.tar.xz" \ - && tar xf CGAL-5.1.tar.xz \ +RUN curl -LO "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 \ - && cmake -DCMAKE_BUILD_TYPE=Release ../CGAL-5.1/ \ + && 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 / ADD .github/test-requirements.txt / -- cgit v1.2.3