diff options
| author | Gard Spreemann <gspr@nonempty.org> | 2020-12-16 15:15:38 +0100 |
|---|---|---|
| committer | Gard Spreemann <gspr@nonempty.org> | 2020-12-16 15:15:38 +0100 |
| commit | b6a3def70b15baf2dda0844762dcd291e240d2c1 (patch) | |
| tree | df4d6b690d0fc7f46d259364fe4a6fcc85f62b40 /Dockerfile_for_circleci_image | |
| parent | 1c05c20d7cf92c96b5036620cc892cb956c96785 (diff) | |
| parent | cf36a3971fb6a0ed37577295d7f1f13a930d1dba (diff) | |
Merge tag 'tags/gudhi-release-3.4.0' into dfsg/latest
Diffstat (limited to 'Dockerfile_for_circleci_image')
| -rw-r--r-- | Dockerfile_for_circleci_image | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/Dockerfile_for_circleci_image b/Dockerfile_for_circleci_image index 464097e7..ec1b8ff8 100644 --- a/Dockerfile_for_circleci_image +++ b/Dockerfile_for_circleci_image @@ -23,6 +23,9 @@ ENV LANG en_US.UTF-8 ENV LANGUAGE en_US:en ENV LC_ALL en_US.UTF-8 +# Update again +RUN apt-get update + # Required for Gudhi compilation RUN apt-get install -y make \ git \ @@ -38,7 +41,6 @@ RUN apt-get install -y make \ libgmp3-dev \ libmpfr-dev \ libtbb-dev \ - libcgal-dev \ locales \ python3 \ python3-pip \ @@ -48,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 / |