aboutsummaryrefslogtreecommitdiff
path: root/guest.nix
diff options
context:
space:
mode:
Diffstat (limited to 'guest.nix')
-rw-r--r--guest.nix20
1 files changed, 7 insertions, 13 deletions
diff --git a/guest.nix b/guest.nix
index 5b321cc..4b3782f 100644
--- a/guest.nix
+++ b/guest.nix
@@ -1,15 +1,9 @@
-{ writeShellApplication,
- guest,
- zkvms,
- hostPackages,
- lib,
-}:
+{ writeShellApplication, guest, zkvms, hostPackages, lib, }:
writeShellApplication {
name = "${guest}";
- runtimeInputs = lib.foldr
- (zkvm: accum: accum ++ [ hostPackages."${zkvm}/${guest}" ])
- []
+ runtimeInputs =
+ lib.foldr (zkvm: accum: accum ++ [ hostPackages."${zkvm}/${guest}" ]) [ ]
zkvms;
text = ''
@@ -17,8 +11,8 @@ writeShellApplication {
echo "$1"
"$@"
}
- '' + lib.foldr
- (zkvm: accum: "runZKVM \"${hostPackages."${zkvm}/${guest}"}/bin/${zkvm}_${guest}\" \"$@\"\n" + accum)
- ""
- zkvms;
+ '' + lib.foldr (zkvm: accum:
+ ''
+ runZKVM "${hostPackages."${zkvm}/${guest}"}/bin/${zkvm}_${guest}" "$@"
+ '' + accum) "" zkvms;
}