From 96a0b790aae8bb8296e7315254a0dbc4435b77b1 Mon Sep 17 00:00:00 2001
From: Christoph Scholtes <cschol2112@gmail.com>
Date: Sun, 9 Feb 2025 17:30:43 -0700
Subject: [PATCH] Fix building toolchain in Docker image.

---
 Dockerfile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index d5e42b2..9c33fb4 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -43,7 +43,9 @@ RUN apt-get update && apt-get install -y --no-install-recommends \
 		zstd \
 		markdown \
 		libarchive-tools \
-		gettext
+		gettext \
+        libgmp-dev \
+        libmpfr-dev
 RUN echo "%sudo ALL=(ALL) NOPASSWD:ALL" >> /etc/sudoers
 
 # Create unprivileged user to build toolchains and plugins