summaryrefslogtreecommitdiff
path: root/Dockerfile_for_circleci_image
diff options
context:
space:
mode:
authorVincent Rouvreau <10407034+VincentRouvreau@users.noreply.github.com>2021-01-20 11:17:03 +0100
committerGitHub <noreply@github.com>2021-01-20 11:17:03 +0100
commit7f2709ea12124f514c29b10019558ba3e3ee0975 (patch)
tree82ab9568e3c5fe275773fad49243f31a16e5b038 /Dockerfile_for_circleci_image
parentca18cc5ab72eaf133adcd8b5bcde794ff8166384 (diff)
parent60907b0104a2807667f175d9a8a328fd3f7f4ec8 (diff)
Merge pull request #447 from VincentRouvreau/cgal_5_2_for_ci
CGAL 5.2 for pip and CI
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/*