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

Add return fix.

Browse Source
This commit is contained in:
Alejandro Cabeza Romero 2026-04-22 13:18:01 +02:00
parent 7a10f70eca
commit daeac05883
No known key found for this signature in database
GPG Key ID: DA3D14AE478030FD
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
.github/actions/compile-witness-generator/action.yml vendored
View File

@ -90,6 +90,13 @@ runs:
CIRCUIT_CPP_PATH: ${{ steps.parse-circuit-path.outputs.CIRCUIT_CPP_PATH }}
run: cp "${WITNESS_GENERATOR_RESOURCES_PATH}/Makefile" "${CIRCUIT_CPP_PATH}/Makefile"
# circom-generated main() has no return on the success path; patch it before -O3 turns it into an infinite loop
- name: Patch ${{ inputs.circuit-name-display }} Missing Return
shell: bash
env:
CIRCUIT_CPP_PATH: ${{ steps.parse-circuit-path.outputs.CIRCUIT_CPP_PATH }}
run: sed -i ':a;N;$!ba;s/\n}\n\n*$/\n return 0;\n}/' "${CIRCUIT_CPP_PATH}/main.cpp"
# TODO: Instead of insertion, make a fork that includes the appropriate patch (or the actual fix)
- name: Patch MacOS GMP
shell: bash