guest.nix


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

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

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

  text = lib.foldr
    (zkvm: accum: accum + hostPackages."${zkvm}/${guest}" + "/bin/${zkvm}_${guest} \"$@\"\n")
    ""
    zkvms;
}