From c353d1e06bc65a937b7c7bed943f810302810b55 Mon Sep 17 00:00:00 2001
From: Alejandro Cabeza Romero <alex93cabeza@gmail.com>
Date: Mon, 25 May 2026 10:14:48 +0200
Subject: [PATCH] Fix gmp minimum version flag.

---
 .github/workflows/ci.yml | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 8aabcf4..da339e8 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1012,13 +1012,12 @@ jobs:
           echo "Download complete."
 
       - name: Compile Prover and Verifier
-        env:
-          # Ensures gmp and the prover are built targeting macOS 11.0 (the minimum for
-          # aarch64-apple-darwin), preventing rust-lld deployment target mismatch warnings
-          # when nomos links against the bundled libgmp.a.
-          MACOSX_DEPLOYMENT_TARGET: "11.0"
         working-directory: rapidsnark
         run: |
+          # build_gmp.sh hardcodes -mmacos-version-min=14.0 in CFLAGS, ignoring
+          # MACOSX_DEPLOYMENT_TARGET. Patch it to 11.0 so libgmp.a matches Rust's
+          # aarch64-apple-darwin toolchain target (macOS 11.0+).
+          sed -i 's/-mmacos-version-min=14\.0/-mmacos-version-min=11.0/g' build_gmp.sh
           ./build_gmp.sh macos_arm64
           make macos_arm64