diff options
| -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 = '' |