diff options
| author | Vincent Rouvreau <10407034+VincentRouvreau@users.noreply.github.com> | 2019-09-25 10:21:01 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-25 10:21:01 +0200 |
| commit | fd8e45bbbbae94f06f91925c742c0724493a2f52 (patch) | |
| tree | 622a97cb9b2b5e3097a7d3947b6cf9c5c663f762 | |
| parent | 8cbeb21d32701e7ae848062116cae91833667900 (diff) | |
| parent | 690277af77068b7ab390cbce4e6989f1556c443d (diff) | |
Merge pull request #97 from VincentRouvreau/dockerfile_for_gudhi_3.0.0
Dockerfile for gudhi 3.0.0
| -rw-r--r-- | Dockerfile_for_circleci_image (renamed from Dockerfile_ubuntu) | 0 | ||||
| -rw-r--r-- | Dockerfile_gudhi_installation | 65 |
2 files changed, 65 insertions, 0 deletions
diff --git a/Dockerfile_ubuntu b/Dockerfile_for_circleci_image index 12f2dc94..12f2dc94 100644 --- a/Dockerfile_ubuntu +++ b/Dockerfile_for_circleci_image diff --git a/Dockerfile_gudhi_installation b/Dockerfile_gudhi_installation new file mode 100644 index 00000000..9fe20730 --- /dev/null +++ b/Dockerfile_gudhi_installation @@ -0,0 +1,65 @@ +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 \ + g++ \ + cmake \ + graphviz \ + perl \ + texlive-bibtex-extra \ + biber \ + libboost-all-dev \ + libeigen3-dev \ + libgmp3-dev \ + libmpfr-dev \ + libtbb-dev \ + libcgal-dev \ + locales \ + python3 \ + python3-pip \ + python3-pytest \ + python3-tk \ + libfreetype6-dev \ + pkg-config \ + curl + +RUN pip3 install \ + numpy \ + matplotlib \ + scipy \ + Cython + +# apt clean up +RUN apt autoremove && rm -rf /var/lib/apt/lists/* + +RUN curl -LO "https://github.com/GUDHI/gudhi-devel/releases/download/tags%2Fgudhi-release-3.0.0/gudhi.3.0.0.tar.gz" \ +&& tar xf gudhi.3.0.0.tar.gz \ +&& cd gudhi.3.0.0 \ +&& mkdir build && cd build && cmake -DCMAKE_BUILD_TYPE=Release -DWITH_GUDHI_PYTHON=OFF -DPython_ADDITIONAL_VERSIONS=3 .. \ +&& make all test install \ +&& cmake -DWITH_GUDHI_PYTHON=ON . \ +&& cd python \ +&& python3 setup.py install
\ No newline at end of file |