blob: e749ac4e8f34dffa2f1d44b653025410832d79e5 (
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
|
{ zkvmLib, stdenv, lib, just, metacraft-labs, pkg-config, openssl
, craneLib-default, }:
let
commonArgs = {
pname = "jolt";
inherit (metacraft-labs.jolt) version;
src = with lib.fileset;
toSource {
root = ../..;
fileset = intersection (gitTracked ../..)
(unions [ ./. ../../guests ../../guests_macro ../../zkvms_host_io ]);
};
nativeBuildInputs = [ metacraft-labs.jolt openssl pkg-config ];
};
craneLib = craneLib-default.overrideToolchain metacraft-labs.jolt;
cargoArtifacts = zkvmLib.buildDepsOnly craneLib (commonArgs // {
postConfigure = ''
sed -i '/dependencies.guest/,+1d' zkvms/jolt/host/Cargo.toml
'';
});
in zkvmLib.buildPackage craneLib (commonArgs // {
inherit cargoArtifacts;
guestTarget = "riscv32im-jolt-zkvm-elf";
guestExtraArgs = "--features guest";
preBuildGuest = ''
RUSTUP_TOOLCHAIN="x"
RUSTFLAGS="-C link-arg=-T${
./guest/guest.ld
} -C passes=lower-atomic -C panic=abort -C strip=symbols -C opt-level=z"
export RUSTUP_TOOLCHAIN RUSTFLAGS
'';
preRunBinaries = [ metacraft-labs.jolt ];
preRun = ''
export ELF_PATH="$out/bin/guest"
'';
doCheck = false;
})
|
