summaryrefslogtreecommitdiff
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
parentca18cc5ab72eaf133adcd8b5bcde794ff8166384 (diff)
CGAL 5.2
-rw-r--r--Dockerfile_for_circleci_image8
-rw-r--r--Dockerfile_for_pip8
2 files changed, 8 insertions, 8 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 /
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 /