diff options
| author | Kamen Mladenov <kamen@syndamia.com> | 2025-01-30 11:55:15 +0200 |
|---|---|---|
| committer | Kamen Mladenov <kamen@syndamia.com> | 2025-01-30 11:55:15 +0200 |
| commit | b5a2c3dde173751d88a939323a182418e2f9f688 (patch) | |
| tree | 7ddc422ffacddbf10eca50cbcd5f03d50a6a66e0 | |
| parent | d24bd9aed30ee9e3c3463f1060fc046c8c18d338 (diff) | |
| download | zkVMs-benchmarks-b5a2c3dde173751d88a939323a182418e2f9f688.tar zkVMs-benchmarks-b5a2c3dde173751d88a939323a182418e2f9f688.tar.gz zkVMs-benchmarks-b5a2c3dde173751d88a939323a182418e2f9f688.zip | |
feat(zkvmLib): Add no_std feature on linkGuest
| -rw-r--r-- | zkvmLib.nix | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/zkvmLib.nix b/zkvmLib.nix index 5bdd890..13b7a8e 100644 --- a/zkvmLib.nix +++ b/zkvmLib.nix @@ -54,8 +54,15 @@ in { "buildPhase" "checkPhase" "installPhase" "fixupPhase" # Standard phases ]; - linkGuest = '' - echo 'zkp = { path = "../../../guests/${guest}", package = "${guest}" }' >> zkvms/${args.pname}/guest/Cargo.toml + linkGuest = let + appended = '' + zkp = { path = "../../../guests/${guest}", package = "${guest}" } + + [features] + no_std = ["zkp/no_std"] + ''; + in '' + echo '${appended}' >> zkvms/${args.pname}/guest/Cargo.toml ''; buildGuestPhase = '' |