aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKamen Mladenov <kamen@syndamia.com>2025-01-31 12:13:41 +0200
committerKamen Mladenov <kamen@syndamia.com>2025-01-31 12:13:41 +0200
commitce84e507e13de389c023ce42c29bbbea515f67d6 (patch)
treed56bab6e8e66c5324f296c178a94d2e21fdd1c15
parentda349e6ab3f5d082af35a6febb8dd971379e6955 (diff)
downloadzkVMs-benchmarks-ce84e507e13de389c023ce42c29bbbea515f67d6.tar
zkVMs-benchmarks-ce84e507e13de389c023ce42c29bbbea515f67d6.tar.gz
zkVMs-benchmarks-ce84e507e13de389c023ce42c29bbbea515f67d6.zip
feat(guest.nix): Separate calling into it's own function and print the current zkVM which is executing
-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;
}