diff options
author | Gard Spreemann <gspr@nonempty.org> | 2020-01-20 09:33:33 +0100 |
---|---|---|
committer | Gard Spreemann <gspr@nonempty.org> | 2020-01-20 09:33:33 +0100 |
commit | 8c751c3929b1727c1e2e2781259ddaa39cfd8df3 (patch) | |
tree | 0e680ea9182032cc82a732230217980ada093ee9 /Dockerfile_for_circleci_image | |
parent | a11db9cb0c8b35fa393c95d698754bb0c652b1d6 (diff) | |
parent | 9acc59fcc1d5001a212e7b9cd6f00a569a625882 (diff) |
Merge branch 'dfsg/latest' into debian/sid
Diffstat (limited to 'Dockerfile_for_circleci_image')
-rw-r--r-- | Dockerfile_for_circleci_image | 63 |
1 files changed, 63 insertions, 0 deletions
diff --git a/Dockerfile_for_circleci_image b/Dockerfile_for_circleci_image new file mode 100644 index 00000000..ff4e6018 --- /dev/null +++ b/Dockerfile_for_circleci_image @@ -0,0 +1,63 @@ +FROM ubuntu:19.04 + +# Update and upgrade distribution +RUN apt-get update && \ + apt-get upgrade -y + +# Tools necessary for installing and configuring Ubuntu +RUN apt-get 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 + +# Required for Gudhi compilation +RUN apt-get install -y make \ + git \ + g++ \ + cmake \ + graphviz \ + perl \ + texlive-bibtex-extra \ + biber \ + doxygen \ + libboost-all-dev \ + libeigen3-dev \ + libgmp3-dev \ + libmpfr-dev \ + libtbb-dev \ + libcgal-dev \ + locales \ + python3 \ + python3-pip \ + python3-pytest \ + python3-tk \ + python3-pybind11 \ + libfreetype6-dev \ + pkg-config + +RUN pip3 install \ + numpy \ + matplotlib \ + scipy \ + Cython \ + POT \ + scikit-learn \ + sphinx \ + sphinx-paramlinks \ + sphinxcontrib-bibtex + +# apt clean up +RUN apt autoremove && rm -rf /var/lib/apt/lists/* |