GDB master now requires libgmp-dev

eclipse-cdt · Apr 4, 2021 · 27b57ce · 27b57ce
1 parent 7a1e054
commit 27b57ce
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/docker/cdt-infra-all-gdbs/ubuntu-18.04/Dockerfile b/docker/cdt-infra-all-gdbs/ubuntu-18.04/Dockerfile
@@ -16,6 +16,7 @@ RUN apt-get update && apt-get install -y --no-install-recommends \
       build-essential \
       bison \
       flex \
+      libgmp-dev \
       libexpat1-dev \
       libmpfr-dev \
       libncurses-dev \

diff --git a/docker/cdt-infra-eclipse-full/ubuntu-18.04/Dockerfile b/docker/cdt-infra-eclipse-full/ubuntu-18.04/Dockerfile
@@ -5,6 +5,7 @@ USER root
 RUN apt-get update && apt-get install -y --no-install-recommends \
       build-essential \
       gdb \
+      libgmp-dev \
       libexpat1-dev \
       libipt1 \
       libmpfr-dev \