diff options
author | Vincent Rouvreau <10407034+VincentRouvreau@users.noreply.github.com> | 2021-01-20 11:17:03 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-20 11:17:03 +0100 |
commit | 7f2709ea12124f514c29b10019558ba3e3ee0975 (patch) | |
tree | 82ab9568e3c5fe275773fad49243f31a16e5b038 /Dockerfile_for_circleci_image_without_cgal | |
parent | ca18cc5ab72eaf133adcd8b5bcde794ff8166384 (diff) | |
parent | 60907b0104a2807667f175d9a8a328fd3f7f4ec8 (diff) |
Merge pull request #447 from VincentRouvreau/cgal_5_2_for_ci
CGAL 5.2 for pip and CI
Diffstat (limited to 'Dockerfile_for_circleci_image_without_cgal')
-rw-r--r-- | Dockerfile_for_circleci_image_without_cgal | 55 |
1 files changed, 55 insertions, 0 deletions
diff --git a/Dockerfile_for_circleci_image_without_cgal b/Dockerfile_for_circleci_image_without_cgal new file mode 100644 index 00000000..7bf96667 --- /dev/null +++ b/Dockerfile_for_circleci_image_without_cgal @@ -0,0 +1,55 @@ +FROM ubuntu:20.04 + +# Update and upgrade distribution +RUN apt update && \ + apt upgrade -y + +# Tools necessary for installing and configuring Ubuntu +RUN apt install -y \ + apt-utils \ + locales \ + tzdata + +# Timezone +RUN echo "Europe/Paris" | tee /etc/timezone && \ + ln -fs /usr/share/zoneinfo/Europe/Paris /etc/localtime && \ + dpkg-reconfigure -f noninteractive tzdata + +# Locale with UTF-8 support +RUN echo en_US.UTF-8 UTF-8 >> /etc/locale.gen && \ + locale-gen && \ + update-locale LC_ALL=en_US.UTF-8 LANG=en_US.UTF-8 +ENV LANG en_US.UTF-8 +ENV LANGUAGE en_US:en +ENV LC_ALL en_US.UTF-8 + +# Update again +RUN apt update + +# Required for Gudhi compilation +RUN apt install -y make \ + git \ + g++ \ + cmake \ + perl \ + libboost-all-dev \ + locales \ + python3 \ + python3-pip \ + python3-tk \ + python3-grpcio \ + libfreetype6-dev \ + pkg-config \ + curl + +RUN curl -LO "https://gitlab.com/libeigen/eigen/-/archive/3.3.9/eigen-3.3.9.tar.gz" \ + && tar xf eigen-3.3.9.tar.gz + +ADD .github/build-requirements.txt / +ADD .github/test-requirements.txt / + +RUN pip3 install -r build-requirements.txt +RUN pip3 --no-cache-dir install -r test-requirements.txt + +# apt clean up +RUN apt-get autoremove && rm -rf /var/lib/apt/lists/* |