From 3b83561309566b984ea201c3a9fb947b38674b06 Mon Sep 17 00:00:00 2001
From: Bananymous <oskari.alaranta@bananymous.com>
Date: Thu, 19 Jun 2025 19:19:47 +0300
Subject: [PATCH] ports: Fix gmp port to compile with gcc 15.1.0

---
 ports/gmp/build.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/ports/gmp/build.sh b/ports/gmp/build.sh
index 44fc2a83..12c70a7d 100755
--- a/ports/gmp/build.sh
+++ b/ports/gmp/build.sh
@@ -3,3 +3,6 @@
 NAME='gmp'
 VERSION='6.3.0'
 DOWNLOAD_URL="https://ftp.gnu.org/gnu/gmp/gmp-$VERSION.tar.xz#a3c2b80201b89e68616f4ad30bc66aee4927c3ce50e33929ca819d5c43538898"
+
+# configure does not work with (default) c23
+export CFLAGS="--std=c17 $CFLAGS"