diff --git a/docker/Dockerfile b/docker/Dockerfile index f37845ea3967a95749fd96b52a854e359e3c667d..30629e5a8a3dde66e5c0f9e2f76482eb642250b5 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -27,5 +27,7 @@ RUN apt-get update && apt-get install -y libeigen3-dev RUN apt-get update && apt-get install -y ninja-build RUN apt-get update && apt-get install -y petsc-dev RUN apt-get update && apt-get install -y python3 python3-pip +RUN apt-get update && apt-get install -y python3-h5py +RUN pip3 install mypy==0.790 black==20.8b1 pylint==2.6.0 RUN pip3 install gcovr \ No newline at end of file