summaryrefslogtreecommitdiff
path: root/Dockerfile_for_circleci_image
diff options
context:
space:
mode:
Diffstat (limited to 'Dockerfile_for_circleci_image')
-rw-r--r--Dockerfile_for_circleci_image10
1 files changed, 5 insertions, 5 deletions
diff --git a/Dockerfile_for_circleci_image b/Dockerfile_for_circleci_image
index ec1b8ff8..60c98f66 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 /
@@ -66,4 +66,4 @@ RUN pip3 install -r build-requirements.txt
RUN pip3 --no-cache-dir install -r test-requirements.txt
# apt clean up
-RUN apt autoremove && rm -rf /var/lib/apt/lists/*
+RUN apt-get autoremove && rm -rf /var/lib/apt/lists/*