blob: 79f7d7c3a38bb2ca809a361c584e3f0e389b3ae1 (
plain) (
blame)
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
35
36
37
38
39
40
41
42
43
44
45
46
|
{ zkvmLib, stdenv, lib, metacraft-labs, pkg-config, craneLib-default, }:
let
commonArgs = {
pname = "risc0";
inherit (metacraft-labs.risc0) version;
src = with lib.fileset;
toSource {
root = ../..;
fileset = intersection (gitTracked ../..)
(unions [ ./. ../../guests ../../guests_macro ../../zkvms_host_io ]);
};
};
craneLib = craneLib-default.overrideToolchain metacraft-labs.risc0;
cargoArtifacts = zkvmLib.buildDepsOnly craneLib commonArgs;
in zkvmLib.buildPackage craneLib (commonArgs // {
inherit cargoArtifacts;
nativeBuildInputs = [ metacraft-labs.risc0 ];
guestToolchain = metacraft-labs.risc0-rust;
guestTarget = "riscv32im-risc0-zkvm-elf";
preBuildGuest = ''
# Should be set only when RISC0 is compiled with unstable feature
# https://github.com/risc0/risc0/blob/b5bf2d4a50cfb954da7f507766ba0f120c716958/risc0/build/src/lib.rs#L430-L435
export RISC0_FEATURE_bigint2=""
'';
postBuildGuest = ''
cd ../guest_elf_patch
cargo run --release
'';
preBuild = ''
# Used for verification
# https://github.com/risc0/risc0/blob/881e512732eca72849b2d0e263a1242aba3158af/risc0/build/src/lib.rs#L192-L195
export GUEST_ID="$(${metacraft-labs.risc0}/bin/r0vm --elf ./src/guest --id)"
'';
preRunBinaries = [ metacraft-labs.risc0 ];
doCheck = false;
})
|
