New log appenders stdout and stderr. Use stdout for xbt_help.

[simgrid.git] / tools / docker / Dockerfile.build-deps

diff --git a/tools/docker/Dockerfile.build-deps b/tools/docker/Dockerfile.build-deps
index 8a0415d..3a189e9 100644 (file)
--- a/tools/docker/Dockerfile.build-deps
+++ b/tools/docker/Dockerfile.build-deps
@@ -4,7 +4,7 @@ FROM debian:testing
 # - Install SimGrid's dependencies
 RUN apt update && \
     apt install -y \
-       g++ gcc gfortran default-jdk \
+       g++ gcc gfortran default-jdk pybind11-dev \
        git \
        valgrind \
        libboost-dev libboost-all-dev \
@@ -12,5 +12,7 @@ RUN apt update && \
        python3-pip \
        doxygen fig2dev \
        chrpath \
-       libdw-dev libevent-dev libunwind8-dev
+       libdw-dev libevent-dev libunwind8-dev \
+       && \
+    pip3 install breathe javasphinx 'sphinx>=1.8.0b1' sphinx_rtd_theme
                   
\ No newline at end of file