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