diff options
author | Gard Spreemann <gspr@nonempty.org> | 2021-01-22 11:18:49 +0100 |
---|---|---|
committer | Gard Spreemann <gspr@nonempty.org> | 2021-01-22 11:18:49 +0100 |
commit | 6bf896c177b7b81ee7cf6e9c4f184445f4e54de0 (patch) | |
tree | 57b9b4890ff78b5e05f4f3fd8bba82278d7e0bde /Dockerfile_for_circleci_image | |
parent | c108cc1b75a4feac787aa60ca1263208068149cb (diff) | |
parent | 2c221bfcf8effff9b010de8b2e13a22f6bc15201 (diff) |
Merge branch 'dfsg/latest' into debian/sid
Diffstat (limited to 'Dockerfile_for_circleci_image')
-rw-r--r-- | Dockerfile_for_circleci_image | 10 |
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/* |