summaryrefslogtreecommitdiff
path: root/Dockerfile_for_pip
diff options
context:
space:
mode:
authorGard Spreemann <gspr@nonempty.org>2021-01-22 11:18:49 +0100
committerGard Spreemann <gspr@nonempty.org>2021-01-22 11:18:49 +0100
commit6bf896c177b7b81ee7cf6e9c4f184445f4e54de0 (patch)
tree57b9b4890ff78b5e05f4f3fd8bba82278d7e0bde /Dockerfile_for_pip
parentc108cc1b75a4feac787aa60ca1263208068149cb (diff)
parent2c221bfcf8effff9b010de8b2e13a22f6bc15201 (diff)
Merge branch 'dfsg/latest' into debian/sid
Diffstat (limited to 'Dockerfile_for_pip')
-rw-r--r--Dockerfile_for_pip8
1 files changed, 4 insertions, 4 deletions
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 /