diff options
| author | Kamen Mladenov <kamen@syndamia.com> | 2025-01-21 16:13:40 +0200 |
|---|---|---|
| committer | Kamen Mladenov <kamen@syndamia.com> | 2025-01-21 16:13:40 +0200 |
| commit | 7855804447d9827777a9ca715611f5134959cbbe (patch) | |
| tree | ff7a540a9b2ee30887774c2353a4569cc80b8849 /zkvms/nexus/default.nix | |
| parent | ce1293a6bef3fa34948bd72bdcbf4c66eb688782 (diff) | |
| download | zkVMs-benchmarks-7855804447d9827777a9ca715611f5134959cbbe.tar zkVMs-benchmarks-7855804447d9827777a9ca715611f5134959cbbe.tar.gz zkVMs-benchmarks-7855804447d9827777a9ca715611f5134959cbbe.zip | |
feat(zkvms/nexus): Require guest to implement a "no_std" feature
Diffstat (limited to 'zkvms/nexus/default.nix')
| -rw-r--r-- | zkvms/nexus/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/zkvms/nexus/default.nix b/zkvms/nexus/default.nix index a7f74e0..003edb7 100644 --- a/zkvms/nexus/default.nix +++ b/zkvms/nexus/default.nix @@ -45,7 +45,7 @@ in hostBin = "host-nexus"; guestTarget = "riscv32i-unknown-none-elf"; - extraGuestArgs = "-- --cfg 'feature=\"no_std\"' -C link-arg=-T${guest/guest.ld}"; + extraGuestArgs = "--features no_std -- -C link-arg=-T${guest/guest.ld}"; buildGuestPhase = '' pushd guest |