From 27b57ce61fe454a33e94d41dd81bf364c70e514a Mon Sep 17 00:00:00 2001
From: Jonah Graham <jonah@kichwacoders.com>
Date: Sat, 3 Apr 2021 18:43:39 -0400
Subject: [PATCH] GDB master now requires libgmp-dev

---
 docker/cdt-infra-all-gdbs/ubuntu-18.04/Dockerfile     | 1 +
 docker/cdt-infra-eclipse-full/ubuntu-18.04/Dockerfile | 1 +
 2 files changed, 2 insertions(+)

diff --git a/docker/cdt-infra-all-gdbs/ubuntu-18.04/Dockerfile b/docker/cdt-infra-all-gdbs/ubuntu-18.04/Dockerfile
index beceb3d..dafbf56 100644
--- 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
index 35b8d09..2f4d64c 100644
--- 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 \