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

Add gmp debug checks on windows.

Browse Source
This commit is contained in:
Alejandro Cabeza Romero 2026-05-22 15:08:47 +02:00
parent 8edc481e91
commit e98e02300e
No known key found for this signature in database
GPG Key ID: DA3D14AE478030FD
1 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -705,6 +705,10 @@ jobs:
$env:RUSTFLAGS="-A dead_code"; cargo install --path circom
circom --version
- name: Check GMP Before Deps
shell: msys2 {0}
run: pacman -Q | grep gmp || echo "gmp not installed"
- name: Install Dependencies [Witness Generator]
shell: msys2 {0}
run: |
@ -720,10 +724,18 @@ jobs:
make install
popd
- name: Check GMP After Witness Generator Deps
shell: msys2 {0}
run: pacman -Q | grep gmp || echo "gmp not installed"
- name: Install Dependencies [Prover]
shell: msys2 {0}
run: pacman --noconfirm -Sy --needed cmake nasm mingw-w64-ucrt-x86_64-libsodium
- name: Check GMP After Prover Deps
shell: msys2 {0}
run: pacman -Q | grep gmp || echo "gmp not installed"
- name: Replace Prover Makefile # TODO: Make a fork generate the appropriate Windows Makefile
shell: msys2 {0}
run: cp .github/resources/prover/Makefile rapidsnark/Makefile