all_bugs_found…

Dockerfile
View Options

			FROM debian:bullseye
			MAINTAINER Nicolas Richart <nicolas.richart@epfl.ch>

			# library dependencies
			RUN apt-get -qq update && apt-get -qq -y install \
			g++ gfortran clang cmake \
			openmpi-bin libmumps-dev libscotch-dev \
			libboost-dev libopenblas-dev \
			python3 python3-dev python3-numpy python3-scipy python3-mpi4py \
			&& rm -rf /var/lib/apt/lists/*

			# for documentation
			RUN apt-get -qq update && apt-get -qq -y install \
			python3-sphinx \
			python3-sphinxcontrib.bibtex \
			python3-sphinx-rtd-theme \
			python3-breathe \
			python3-git python3-jinja2 \
			doxygen graphviz \
			&& rm -rf /var/lib/apt/lists/*

			# for ci
			RUN apt-get -qq update && apt-get -qq -y install \
			gmsh python3-pytest python3-click python3-termcolor \
			ccache clang-format python3-flake8 python3-pip clang-tidy \
			curl git xsltproc jq \
			gcovr llvm binutils \
			ninja-build \
			&& rm -rf /var/lib/apt/lists/*

			RUN pip3 install warning_parser

			COPY .openmpi /root/.openmpi

			# for debug
			RUN apt-get -qq update && apt-get -qq -y install \
			gdb valgrind \
			&& rm -rf /var/lib/apt/lists/*