diff options
| -rw-r--r-- | flake.nix | 4 | ||||
| -rw-r--r-- | guest.nix | 2 |
2 files changed, 3 insertions, 3 deletions
@@ -34,10 +34,10 @@ (_: type: type == "directory") (builtins.readDir ./zkvms)); - guests = [ null ] ++ (builtins.attrNames + guests = builtins.attrNames (pkgs.lib.filterAttrs (_: type: type == "directory") - (builtins.readDir ./guests))); + (builtins.readDir ./guests)); foldr = pkgs.lib.foldr; @@ -18,7 +18,7 @@ writeShellApplication { "$@" } '' + lib.foldr - (zkvm: accum: accum + "runZKVM \"${hostPackages."${zkvm}/${guest}"}/bin/${zkvm}_${guest}\" \"$@\"\n") + (zkvm: accum: "runZKVM \"${hostPackages."${zkvm}/${guest}"}/bin/${zkvm}_${guest}\" \"$@\"\n" + accum) "" zkvms; } |
