4 # - Install SimGrid's dependencies
5 RUN apt-get --allow-releaseinfo-change update && \
7 g++ gcc gfortran default-jdk pybind11-dev \
10 libboost-dev libboost-all-dev \
15 libdw-dev libevent-dev libunwind8-dev \
18 pip3 install breathe 'sphinx>=1.8.0b1' sphinx_rtd_theme