guest.nix


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

{ writeShellApplication, guest, zkvms, hostPackages, lib, }:
writeShellApplication {
  name = "${guest}";

  runtimeInputs =
    lib.foldr (zkvm: accum: accum ++ [ hostPackages."${zkvm}/${guest}" ]) [ ]
    zkvms;

  text = ''
    runZKVM() {
      echo "$1"
      "$@"
    }
  '' + lib.foldr (zkvm: accum:
    ''
      runZKVM "${hostPackages."${zkvm}/${guest}"}/bin/${zkvm}_${guest}" "$@"
    '' + accum) "" zkvms;
}