diff options
Diffstat (limited to 'zkvms_guest_io/default.nix')
| -rw-r--r-- | zkvms_guest_io/default.nix | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/zkvms_guest_io/default.nix b/zkvms_guest_io/default.nix index bce5a9c..b9ba3cc 100644 --- a/zkvms_guest_io/default.nix +++ b/zkvms_guest_io/default.nix @@ -1,4 +1,4 @@ -{ craneLib-default, guest, zkvms, hostPackages, lib, benchexec, }: +{ rev, craneLib-default, guest, zkvms, hostPackages, lib, metacraft-labs, benchexec, }: let commonArgs = { name = "${guest}"; @@ -13,7 +13,16 @@ let }; PROGRAMS = lib.foldr (zkvm: accum: - hostPackages."${zkvm}/${guest}" + "/bin/${zkvm}_${guest}," + accum) "" + (builtins.concatStringsSep + "|" + [ + zkvm + metacraft-labs.${zkvm}.src.rev + guest + rev + (hostPackages."${zkvm}/${guest}" + "/bin/${zkvm}_${guest}") + ] + ) + "," + accum) "" zkvms; postPatch = '' |