From c046089656f3021972cb44cac92dbda0a59f8a0b Mon Sep 17 00:00:00 2001 From: Kamen Mladenov Date: Fri, 2 May 2025 10:25:20 +0300 Subject: chore: nix fmt --- zkvms_guest_io/default.nix | 27 ++++++++++++--------------- 1 file changed, 12 insertions(+), 15 deletions(-) (limited to 'zkvms_guest_io') diff --git a/zkvms_guest_io/default.nix b/zkvms_guest_io/default.nix index b9ba3cc..e9e3d6f 100644 --- a/zkvms_guest_io/default.nix +++ b/zkvms_guest_io/default.nix @@ -1,11 +1,12 @@ -{ rev, craneLib-default, guest, zkvms, hostPackages, lib, metacraft-labs, benchexec, }: +{ rev, craneLib-default, guest, zkvms, hostPackages, lib, metacraft-labs +, benchexec, }: let commonArgs = { name = "${guest}"; - buildInputs = [ benchexec ] ++ - (lib.foldr (zkvm: accum: accum ++ [ hostPackages."${zkvm}/${guest}" ]) [ ] - zkvms); + buildInputs = [ benchexec ] + ++ (lib.foldr (zkvm: accum: accum ++ [ hostPackages."${zkvm}/${guest}" ]) + [ ] zkvms); src = lib.fileset.toSource { root = ./.; @@ -13,17 +14,13 @@ let }; PROGRAMS = lib.foldr (zkvm: accum: - (builtins.concatStringsSep - "|" - [ - zkvm - metacraft-labs.${zkvm}.src.rev - guest - rev - (hostPackages."${zkvm}/${guest}" + "/bin/${zkvm}_${guest}") - ] - ) + "," + accum) "" - zkvms; + (builtins.concatStringsSep "|" [ + zkvm + metacraft-labs.${zkvm}.src.rev + guest + rev + (hostPackages."${zkvm}/${guest}" + "/bin/${zkvm}_${guest}") + ]) + "," + accum) "" zkvms; postPatch = '' sed -i 's|"runexec"|"${benchexec}/bin/runexec"|' ./src/main.rs -- cgit v1.2.3