summaryrefslogtreecommitdiff
path: root/Dockerfile_ubuntu
diff options
context:
space:
mode:
authorROUVREAU Vincent <vincent.rouvreau@inria.fr>2019-04-26 09:55:22 +0200
committerROUVREAU Vincent <vincent.rouvreau@inria.fr>2019-04-26 09:55:22 +0200
commitbd8591187090a59c979947825fe9eff2645161ae (patch)
treeb5f5f39488530941444b278be66384139652e6d1 /Dockerfile_ubuntu
parent6f9bbc57d9abb1bd395b7c4d58184ee53656fc72 (diff)
parent145f6084b734c24d594ab7dddf5a664953ca4545 (diff)
Merge branch 'master' into toplex_map
Diffstat (limited to 'Dockerfile_ubuntu')
-rw-r--r--Dockerfile_ubuntu58
1 files changed, 58 insertions, 0 deletions
diff --git a/Dockerfile_ubuntu b/Dockerfile_ubuntu
new file mode 100644
index 00000000..b80dbc54
--- /dev/null
+++ b/Dockerfile_ubuntu
@@ -0,0 +1,58 @@
+FROM ubuntu:latest
+
+# 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 \
+ doxygen \
+ 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
+
+RUN pip3 install \
+ numpy \
+ matplotlib \
+ scipy \
+ Cython \
+ sphinx \
+ sphinxcontrib-bibtex
+
+# apt clean up
+RUN apt autoremove && rm -rf /var/lib/apt/lists/*