zkvms_guest_io/default.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
25

{ craneLib-default, guest, zkvms, hostPackages, lib, benchexec, }:
let
  commonArgs = {
    name = "${guest}";

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

    src = lib.fileset.toSource {
      root = ./.;
      fileset = ./.;
    };

    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;
in craneLib-default.buildPackage commonArgs