logos-blockchain/logos-blockchain-circuits
1
0
Fork 0
mirror of https://github.com/logos-blockchain/logos-blockchain-circuits.git synced 2026-07-27 19:33:12 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix gmp minimum version flag.

Browse Source
This commit is contained in:
Alejandro Cabeza Romero 2026-05-25 10:14:48 +02:00
parent 6de559701e
commit c353d1e06b
No known key found for this signature in database
GPG Key ID: DA3D14AE478030FD
1 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
.github/workflows/ci.yml vendored
View File

@ -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