summaryrefslogtreecommitdiff
path: root/Dockerfile_for_circleci_image
diff options
context:
space:
mode:
authorVincent Rouvreau <10407034+VincentRouvreau@users.noreply.github.com>2020-11-04 09:01:21 +0100
committerGitHub <noreply@github.com>2020-11-04 09:01:21 +0100
commit6811a26e8b45ba4fde5ad3268d0eb07d3070a349 (patch)
treea4ad2e1f2a186a78aae05d8ca37c2da2bce1b75e /Dockerfile_for_circleci_image
parent56dc7eb47cce596ee345dd7c6605dbee2f412f5e (diff)
parentdaa3b08931e830212bc09130f7040d98d257b08f (diff)
Merge pull request #393 from VincentRouvreau/weighted_alpha_complex_dD
Weighted alpha complex dD
Diffstat (limited to 'Dockerfile_for_circleci_image')
-rw-r--r--Dockerfile_for_circleci_image10
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 /