From 30f518fa36be8378d86b28e8eab2433151fe616a Mon Sep 17 00:00:00 2001 From: Kamen Mladenov Date: Thu, 27 Feb 2025 11:35:14 +0200 Subject: chore: Nix fmt --- guest.nix | 20 +++++++------------- 1 file changed, 7 insertions(+), 13 deletions(-) (limited to 'guest.nix') 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; } -- cgit v1.2.3