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
26
27
28
29
30
31
32
33
34

{ rev, craneLib-default, guest, zkvms, hostPackages, lib, metacraft-labs, 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:
      (builtins.concatStringsSep
        "|"
        [
          zkvm
          metacraft-labs.${zkvm}.src.rev
          guest
          rev
          (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