-# Base image
-FROM debian:testing
+# Base image
+FROM debian:11
-# - Install SimGrid's dependencies
-RUN apt update && \
+# Install the dependencies:
+# - of the website
+# - of SimGrid itself
+RUN apt-get --allow-releaseinfo-change update && \
apt install -y \
- g++ gcc gfortran default-jdk pybind11-dev \
+ bibclean emacs-nox org-mode elpa-ess elpa-htmlize wget unzip r-cran-ggplot2 r-cran-tidyr r-cran-dplyr libtext-bibtex-perl && \
+ apt install -y \
+ g++ gcc gfortran pybind11-dev \
git \
valgrind \
libboost-dev libboost-all-dev \
+ libeigen3-dev \
cmake \
python3-pip \
doxygen fig2dev \
chrpath \
libdw-dev libevent-dev libunwind8-dev \
- && \
- pip3 install breathe javasphinx 'sphinx>=1.8.0b1' sphinx_rtd_theme
-
\ No newline at end of file
+ python3-sphinx python3-breathe python3-sphinx-rtd-theme && \
+ apt clean && apt autoclean
+
+# linkchecker \