diff options
Diffstat (limited to 'zkvms_guest_io')
| -rw-r--r-- | zkvms_guest_io/default.nix | 27 |
1 files changed, 12 insertions, 15 deletions
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 |