summaryrefslogtreecommitdiff
path: root/Dockerfile_for_circleci_image
diff options
context:
space:
mode:
authorROUVREAU Vincent <vincent.rouvreau@inria.fr>2021-01-07 08:07:31 +0100
committerROUVREAU Vincent <vincent.rouvreau@inria.fr>2021-01-07 08:07:31 +0100
commitcd4d24d3bdf6d39582ab74ffedf94f2f60a734ab (patch)
tree536dfc509213e1d3645eca612ecefcb54d051ee1 /Dockerfile_for_circleci_image
parentca18cc5ab72eaf133adcd8b5bcde794ff8166384 (diff)
CGAL 5.2
Diffstat (limited to 'Dockerfile_for_circleci_image')
-rw-r--r--Dockerfile_for_circleci_image8
1 files changed, 4 insertions, 4 deletions
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 /