1 image: debian:testing-slim
6 - apt install -y libboost-all-dev libboost-dev python3-pip doxygen fig2dev
7 - pip3 install --requirement docs/requirements.txt
9 - sphinx-build -M html source/ build/
10 - mv build/html ../public
20 - apt install -y libboost-all-dev libboost-dev cmake chrpath default-jdk valgrind gfortran
21 - cmake -Denable_model-checking=ON -Denable_documentation=OFF -Denable_coverage=ON -Denable_java=ON -Denable_lua=OFF -Denable_compile_optimizations=ON -Denable_smpi=ON -Denable_smpi_MPICH3_testsuite=ON -Denable_compile_warnings=ON .
22 - make VERBOSE=1 && ctest --output-on-failure