From c6619e0207abf0fb5198b66a8d8f00f975c3da84 Mon Sep 17 00:00:00 2001
From: ROUVREAU Vincent <vincent.rouvreau@inria.fr>
Date: Fri, 18 Sep 2020 16:27:49 +0200
Subject: Use CGAL 5.1 by default on dockers. Update next release

---
 Dockerfile_for_circleci_image | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

(limited to 'Dockerfile_for_circleci_image')

diff --git a/Dockerfile_for_circleci_image b/Dockerfile_for_circleci_image
index 87f57071..ec1b8ff8 100644
--- a/Dockerfile_for_circleci_image
+++ b/Dockerfile_for_circleci_image
@@ -41,7 +41,6 @@ RUN apt-get install -y make \
     libgmp3-dev \
     libmpfr-dev \
     libtbb-dev \
-    libcgal-dev \
     locales \
     python3 \
     python3-pip \
@@ -51,6 +50,15 @@ 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 \
+    && mkdir build \
+    && cd build \
+    && cmake -DCMAKE_BUILD_TYPE=Release ../CGAL-5.1/ \
+    && make install \
+    && cd .. \
+    && rm -rf build CGAL-5.1
+
 ADD .github/build-requirements.txt /
 ADD .github/test-requirements.txt /
 
-- 
cgit v1.2.3