FROM debian:buster
RUN apt-get update && \
  apt-get install -y \
    git make mariadb-server maven openjdk-11-jdk-headless \
    plantuml \
    python3-pip screen libpam0g-dev unzip curl shunit2 \
    python3-sphinx \
  && \
  pip3 install javasphinx recommonmark sphinx-rtd-theme sphinxcontrib-plantuml

# Alternative, if javasphinx fails because python3-sphinx is too recent:
# (`_l` not found):
#
# git clone git@github.com:simgrid/javasphinx.git
# cd javasphinx
# git checkout 659209069603a
# pip3 install .
