diff options
| author | Kamen Mladenov <kamen@syndamia.com> | 2025-02-27 11:35:14 +0200 |
|---|---|---|
| committer | Kamen Mladenov <kamen@syndamia.com> | 2025-02-27 15:08:11 +0200 |
| commit | 39ec264c0d90555237debff519cc890b755a0646 (patch) | |
| tree | 09a9602f5637804fa7bd876fcd971ecb9d0afffe /guest.nix | |
| parent | 3b037df28ccdd905db1e2668b68e78fe07ef6eee (diff) | |
| download | zkVMs-benchmarks-39ec264c0d90555237debff519cc890b755a0646.tar zkVMs-benchmarks-39ec264c0d90555237debff519cc890b755a0646.tar.gz zkVMs-benchmarks-39ec264c0d90555237debff519cc890b755a0646.zip | |
chore: Nix fmt
Diffstat (limited to 'guest.nix')
| -rw-r--r-- | guest.nix | 20 |
1 files changed, 7 insertions, 13 deletions
@@ -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; } |