don't install system javasphinx on our docker build-deps

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

diff --git a/tools/docker/Dockerfile.build-deps b/tools/docker/Dockerfile.build-deps
index f3ebc9e..b453fd9 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 \
@@ -13,6 +13,7 @@ RUN apt update && \
        doxygen fig2dev \
        chrpath \
        libdw-dev libevent-dev libunwind8-dev \
+       linkchecker \
        && \
-    pip3 install breathe exhale sphinx>=1.8.0b1 sphinx_rtd_theme
+    pip3 install breathe 'sphinx>=1.8.0b1' sphinx_rtd_theme
                   
\ No newline at end of file