diff options
Diffstat (limited to 'Dockerfile_ubuntu')
-rw-r--r-- | Dockerfile_ubuntu | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/Dockerfile_ubuntu b/Dockerfile_ubuntu index ad3c55ca..b80dbc54 100644 --- a/Dockerfile_ubuntu +++ b/Dockerfile_ubuntu @@ -24,13 +24,14 @@ ENV LANGUAGE en_US:en ENV LC_ALL en_US.UTF-8 # Required for Gudhi compilation -RUN apt-get install -y curl \ - make \ - cmake \ +RUN apt-get install -y make \ g++ \ + cmake \ graphviz \ - doxygen \ perl \ + texlive-bibtex-extra \ + biber \ + doxygen \ libboost-all-dev \ libeigen3-dev \ libgmp3-dev \ |