diff --git a/docker/Dockerfile b/docker/Dockerfile index 855154e838b7b1091a9cdb32c59b887030b6bb43..5aa298270d3e45ec4d30174c1f9061d9afd18f4d 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -30,7 +30,8 @@ RUN apt-get update && \ ninja-build \ petsc-dev \ python3 python3-pip \ - python3-h5py + python3-h5py \ + gdb RUN pip3 install \ mypy==0.790 \