diff options
Diffstat (limited to 'zkvms_guest_io/default.nix')
| -rw-r--r-- | zkvms_guest_io/default.nix | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/zkvms_guest_io/default.nix b/zkvms_guest_io/default.nix index 20c75a7..bce5a9c 100644 --- a/zkvms_guest_io/default.nix +++ b/zkvms_guest_io/default.nix @@ -1,11 +1,11 @@ -{ craneLib-default, guest, zkvms, hostPackages, lib, }: +{ craneLib-default, guest, zkvms, hostPackages, lib, benchexec, }: let commonArgs = { name = "${guest}"; - buildInputs = - 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 = ./.; @@ -15,6 +15,10 @@ let PROGRAMS = lib.foldr (zkvm: accum: hostPackages."${zkvm}/${guest}" + "/bin/${zkvm}_${guest}," + accum) "" zkvms; + + postPatch = '' + sed -i 's|"runexec"|"${benchexec}/bin/runexec"|' ./src/main.rs + ''; }; cargoArtifacts = craneLib-default.buildDepsOnly commonArgs; |