logos-blockchain/logos-blockchain-circuits
1
0
Fork 0
mirror of https://github.com/logos-blockchain/logos-blockchain-circuits.git synced 2026-02-01 11:53:24 +00:00
Code Issues Packages Projects Releases Wiki Activity

another attempt at GMP fixes

Browse Source
This commit is contained in:
David Rusu 2026-01-21 13:56:55 +04:00
parent b5caecaadc
commit df27d2781a
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.github/resources/prover/Makefile vendored
View File

@ -26,6 +26,7 @@ host_linux_x86_64_static:
host_linux_aarch64_static:
rm -rf build_prover && mkdir build_prover && cd build_prover && \
cmake .. \
-DTARGET_PLATFORM=aarch64 \
-DCMAKE_BUILD_TYPE=Release \
-DCMAKE_INSTALL_PREFIX=../package \
-DCMAKE_SYSTEM_NAME=Linux \
@ -33,8 +34,7 @@ host_linux_aarch64_static:
-DCMAKE_C_COMPILER=aarch64-linux-gnu-gcc \
-DCMAKE_CXX_COMPILER=aarch64-linux-gnu-g++ \
-DCMAKE_EXE_LINKER_FLAGS="-static -static-libstdc++ -static-libgcc -no-pie" \
-DUSE_ASM=OFF \
-DGMP_PREFIX=depends/gmp/package_aarch64 && \
-DUSE_ASM=OFF && \
make -j$(nproc) -vvv && make install
host_windows_x86_64_static: