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