diff options
| -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"] |