diff options
Diffstat (limited to 'zkvms/risc0/default.nix')
| -rw-r--r-- | zkvms/risc0/default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/zkvms/risc0/default.nix b/zkvms/risc0/default.nix index efb2776..4227fc4 100644 --- a/zkvms/risc0/default.nix +++ b/zkvms/risc0/default.nix @@ -32,6 +32,8 @@ in metacraft-labs.risc0 ]; + guestToolchain = metacraft-labs.risc0-rust; + guestTarget = "riscv32im-risc0-zkvm-elf"; preBuild = '' |