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 | |
| 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')
| -rw-r--r-- | zkvms/nexus/default.nix | 2 | ||||
| -rw-r--r-- | zkvms/nexus/guest/Cargo.toml | 3 |
2 files changed, 4 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 diff --git a/zkvms/nexus/guest/Cargo.toml b/zkvms/nexus/guest/Cargo.toml index 1d91504..0ba0f1a 100644 --- a/zkvms/nexus/guest/Cargo.toml +++ b/zkvms/nexus/guest/Cargo.toml @@ -11,3 +11,6 @@ postcard = { version = "1.0.10", default-features = false, features = ["alloc"] zkp = { path = "./src/zkp" } wrapper_macro = { version = "0.1.0", path = "../wrapper_macro" } + +[features] +no_std = ["zkp/no_std"] |