diff options
Diffstat (limited to 'zkvms/risc0/default.nix')
| -rw-r--r-- | zkvms/risc0/default.nix | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/zkvms/risc0/default.nix b/zkvms/risc0/default.nix index 132bce2..79f7d7c 100644 --- a/zkvms/risc0/default.nix +++ b/zkvms/risc0/default.nix @@ -23,6 +23,12 @@ in zkvmLib.buildPackage craneLib (commonArgs // { guestTarget = "riscv32im-risc0-zkvm-elf"; + preBuildGuest = '' + # Should be set only when RISC0 is compiled with unstable feature + # https://github.com/risc0/risc0/blob/b5bf2d4a50cfb954da7f507766ba0f120c716958/risc0/build/src/lib.rs#L430-L435 + export RISC0_FEATURE_bigint2="" + ''; + postBuildGuest = '' cd ../guest_elf_patch cargo run --release |