diff options
Diffstat (limited to 'guest.nix')
| -rw-r--r-- | guest.nix | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/guest.nix b/guest.nix new file mode 100644 index 0000000..9dff41d --- /dev/null +++ b/guest.nix @@ -0,0 +1,19 @@ +{ writeShellApplication, + guest, + zkvms, + hostPackages, + lib, +}: +writeShellApplication { + name = "${guest}"; + + runtimeInputs = lib.foldr + (zkvm: accum: accum ++ [ hostPackages."${zkvm}/${guest}" ]) + [] + zkvms; + + text = lib.foldr + (zkvm: accum: accum + hostPackages."${zkvm}/${guest}" + "/bin/${zkvm}_${guest} \"$@\"\n") + "" + zkvms; +} |
