diff options
author | Marc Glisse <marc.glisse@inria.fr> | 2020-11-09 18:24:48 +0100 |
---|---|---|
committer | Marc Glisse <marc.glisse@inria.fr> | 2020-11-09 18:24:48 +0100 |
commit | a2783dd8db753a407cfad329d03e2a56b2095f3d (patch) | |
tree | fa2d499c4f0a60bd9e6cda54016c5129d3ff00ad /Dockerfile_for_circleci_image | |
parent | 78100c3f35e6d05da3313fc8b28e24e550c8240a (diff) | |
parent | 6811a26e8b45ba4fde5ad3268d0eb07d3070a349 (diff) |
Merge remote-tracking branch 'origin/master' into fardist
and remove example installation
Diffstat (limited to 'Dockerfile_for_circleci_image')
-rw-r--r-- | Dockerfile_for_circleci_image | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/Dockerfile_for_circleci_image b/Dockerfile_for_circleci_image index 87f57071..ec1b8ff8 100644 --- a/Dockerfile_for_circleci_image +++ b/Dockerfile_for_circleci_image @@ -41,7 +41,6 @@ RUN apt-get install -y make \ libgmp3-dev \ libmpfr-dev \ libtbb-dev \ - libcgal-dev \ locales \ python3 \ python3-pip \ @@ -51,6 +50,15 @@ 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 \ + && mkdir build \ + && cd build \ + && cmake -DCMAKE_BUILD_TYPE=Release ../CGAL-5.1/ \ + && make install \ + && cd .. \ + && rm -rf build CGAL-5.1 + ADD .github/build-requirements.txt / ADD .github/test-requirements.txt / |