add gdb to development environment

572f55ef · Bastian Telgen · 54b31791 · 572f55ef
Commit 572f55ef authored 3 years ago by Bastian Telgen
--- 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 \