summaryrefslogtreecommitdiff
path: root/Dockerfile_ubuntu
diff options
context:
space:
mode:
authorGard Spreemann <gspr@nonempty.org>2019-09-25 14:48:23 +0200
committerGard Spreemann <gspr@nonempty.org>2019-09-25 14:48:23 +0200
commited5877aa83ff0deb385e81e55bdf0f85e43a8a8f (patch)
treeba42bee792344ec8c157e372a286446fb7b5d223 /Dockerfile_ubuntu
parent599d68cd916f533bdb66dd9e684dd5703233b6bb (diff)
parentde8e4aba94a0d5ecf933ad3ee1c05ccb866288b0 (diff)
Merge tag 'tags/gudhi-release-3.0.0' into dfsg/latest
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..e149a33a
--- /dev/null
+++ b/Dockerfile_ubuntu
@@ -0,0 +1,58 @@
+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 \
+ 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/*