diff options
author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2019-04-12 15:42:00 +0200 |
---|---|---|
committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2019-04-12 15:42:00 +0200 |
commit | c349dbe51f9f7b6a1c1c962b1803b7c7e695eded (patch) | |
tree | 88d9fb3c0f33e732b82466ada6dc9cd5ad5c7f97 | |
parent | 2abd52d46dee679efcdc6a6ba3ba6202f8b8d105 (diff) |
Add bibtex for doxygen generation
-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 \ |