logos-blockchain/logos-blockchain-circuits
1
0
Fork 0
mirror of https://github.com/logos-blockchain/logos-blockchain-circuits.git synced 2026-08-08 17:13:23 +00:00
Code Issues Packages Projects Releases Wiki Activity

improve CI (#52)

Browse Source 
* add more url for gmp

* fix

* update mac os
This commit is contained in:
thomaslavaur 2026-08-04 12:05:49 +02:00 committed by GitHub
parent 73d436e853
commit 61b7e5aa60
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 81 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -217,11 +217,27 @@ jobs:
- name: Download GMP Archive
if: steps.cache-gmp.outputs.cache-hit != 'true'
working-directory: rapidsnark/depends
shell: bash
run: |
echo "Downloading GMP archive..."
curl -L -o gmp-6.2.1.tar.xz https://ftpmirror.gnu.org/gmp/gmp-6.2.1.tar.xz
echo "Download complete."
set -euo pipefail
mkdir -p rapidsnark/depends
cd rapidsnark/depends
URLS=(
"https://ftp.gnu.org/gnu/gmp/gmp-6.2.1.tar.xz"
"https://gmplib.org/download/gmp/gmp-6.2.1.tar.xz"
"https://ftpmirror.gnu.org/gmp/gmp-6.2.1.tar.xz"
)
for url in "${URLS[@]}"; do
echo "Trying $url"
if curl --fail --location --retry 5 --retry-delay 3 --retry-all-errors \
--connect-timeout 20 --max-time 300 \
-o gmp-6.2.1.tar.xz "$url"; then
echo "Download complete from $url"
exit 0
fi
done
echo "All GMP download sources failed"
exit 1
- name: Compile Prover and Verifier
working-directory: rapidsnark
@ -470,11 +486,27 @@ jobs:
- name: Download GMP Archive
if: steps.cache-gmp.outputs.cache-hit != 'true'
working-directory: rapidsnark/depends
shell: bash
run: |
echo "Downloading GMP archive..."
curl -L -o gmp-6.2.1.tar.xz https://ftpmirror.gnu.org/gmp/gmp-6.2.1.tar.xz
echo "Download complete."
set -euo pipefail
mkdir -p rapidsnark/depends
cd rapidsnark/depends
URLS=(
"https://ftp.gnu.org/gnu/gmp/gmp-6.2.1.tar.xz"
"https://gmplib.org/download/gmp/gmp-6.2.1.tar.xz"
"https://ftpmirror.gnu.org/gmp/gmp-6.2.1.tar.xz"
)
for url in "${URLS[@]}"; do
echo "Trying $url"
if curl --fail --location --retry 5 --retry-delay 3 --retry-all-errors \
--connect-timeout 20 --max-time 300 \
-o gmp-6.2.1.tar.xz "$url"; then
echo "Download complete from $url"
exit 0
fi
done
echo "All GMP download sources failed"
exit 1
- name: Compile Prover and Verifier
working-directory: rapidsnark
@ -761,12 +793,27 @@ jobs:
- name: Download GMP Archive
if: steps.cache-gmp.outputs.cache-hit != 'true'
shell: msys2 {0}
working-directory: rapidsnark/depends
shell: bash
run: |
echo "Downloading GMP archive..."
curl -L -o gmp-6.2.1.tar.xz https://ftpmirror.gnu.org/gmp/gmp-6.2.1.tar.xz
echo "Download complete."
set -euo pipefail
mkdir -p rapidsnark/depends
cd rapidsnark/depends
URLS=(
"https://ftp.gnu.org/gnu/gmp/gmp-6.2.1.tar.xz"
"https://gmplib.org/download/gmp/gmp-6.2.1.tar.xz"
"https://ftpmirror.gnu.org/gmp/gmp-6.2.1.tar.xz"
)
for url in "${URLS[@]}"; do
echo "Trying $url"
if curl --fail --location --retry 5 --retry-delay 3 --retry-all-errors \
--connect-timeout 20 --max-time 300 \
-o gmp-6.2.1.tar.xz "$url"; then
echo "Download complete from $url"
exit 0
fi
done
echo "All GMP download sources failed"
exit 1
- name: Compile Prover and Verifier
shell: msys2 {0}
@ -1015,11 +1062,27 @@ jobs:
- name: Download GMP Archive
if: steps.cache-gmp.outputs.cache-hit != 'true'
working-directory: rapidsnark/depends
shell: bash
run: |
echo "Downloading GMP archive..."
curl -L -o gmp-6.2.1.tar.xz https://ftpmirror.gnu.org/gmp/gmp-6.2.1.tar.xz
echo "Download complete."
set -euo pipefail
mkdir -p rapidsnark/depends
cd rapidsnark/depends
URLS=(
"https://ftp.gnu.org/gnu/gmp/gmp-6.2.1.tar.xz"
"https://gmplib.org/download/gmp/gmp-6.2.1.tar.xz"
"https://ftpmirror.gnu.org/gmp/gmp-6.2.1.tar.xz"
)
for url in "${URLS[@]}"; do
echo "Trying $url"
if curl --fail --location --retry 5 --retry-delay 3 --retry-all-errors \
--connect-timeout 20 --max-time 300 \
-o gmp-6.2.1.tar.xz "$url"; then
echo "Download complete from $url"
exit 0
fi
done
echo "All GMP download sources failed"
exit 1
- name: Compile Prover and Verifier
working-directory: rapidsnark
@ -1028,6 +1091,7 @@ jobs:
# 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
sed -i '' 's/ -arch arm64e//g' build_gmp.sh
./build_gmp.sh macos_arm64
make macos_arm64