guest.nix


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

{ 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: accum + "runZKVM \"${hostPackages."${zkvm}/${guest}"}/bin/${zkvm}_${guest}\" \"$@\"\n")
    ""
    zkvms;
}