diff options
| author | Kamen Mladenov <kamen@syndamia.com> | 2025-02-27 11:35:14 +0200 |
|---|---|---|
| committer | Kamen Mladenov <kamen@syndamia.com> | 2025-02-27 11:35:14 +0200 |
| commit | 30f518fa36be8378d86b28e8eab2433151fe616a (patch) | |
| tree | 09a9602f5637804fa7bd876fcd971ecb9d0afffe /guest.nix | |
| parent | 15121fce6e67b352d9799403988a03a7c76d0310 (diff) | |
| download | zkVMs-benchmarks-30f518fa36be8378d86b28e8eab2433151fe616a.tar zkVMs-benchmarks-30f518fa36be8378d86b28e8eab2433151fe616a.tar.gz zkVMs-benchmarks-30f518fa36be8378d86b28e8eab2433151fe616a.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; } |
