diff options
| author | Kamen Mladenov <kamen@syndamia.com> | 2025-01-21 17:31:02 +0200 |
|---|---|---|
| committer | Kamen Mladenov <kamen@syndamia.com> | 2025-01-21 17:31:02 +0200 |
| commit | b0608ca2c0d8f739bead99eb93adc520ce2e1df1 (patch) | |
| tree | 3f0381fccc5f700b5696ef6c878aa0e9ed706f00 /zkvms/jolt | |
| parent | cf9d2b10b8fe0670e9b3b47b2326c4d587401985 (diff) | |
| download | zkVMs-benchmarks-b0608ca2c0d8f739bead99eb93adc520ce2e1df1.tar zkVMs-benchmarks-b0608ca2c0d8f739bead99eb93adc520ce2e1df1.tar.gz zkVMs-benchmarks-b0608ca2c0d8f739bead99eb93adc520ce2e1df1.zip | |
feat(flake): Rework withCustomPhases variables
Diffstat (limited to 'zkvms/jolt')
| -rw-r--r-- | zkvms/jolt/default.nix | 16 |
1 files changed, 7 insertions, 9 deletions
diff --git a/zkvms/jolt/default.nix b/zkvms/jolt/default.nix index 2c6399c..d0c6775 100644 --- a/zkvms/jolt/default.nix +++ b/zkvms/jolt/default.nix @@ -49,23 +49,21 @@ in sed -i '/guest\/guests/d' ./zkvms/jolt/Cargo.toml ''; - hostBin = "host-jolt"; guestTarget = "riscv32im-jolt-zkvm-elf"; - extraGuestArgs = "--features guest"; + guestExtraArgs = "--features guest"; preBuildGuest = '' - export RUSTUP_TOOLCHAIN="x" - export RUSTFLAGS="-C link-arg=-T${./guest/guest.ld} -C passes=lower-atomic -C panic=abort -C strip=symbols -C opt-level=z" + 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 ''; - preBuild = '' - unset RUSTUP_TOOLCHAIN - export RUSTFLAGS="-Z macro-backtrace" - ''; + preRunBinaries = [ + metacraft-labs.jolt + ]; preRun = '' export ELF_PATH="$out/bin/guest" - export PATH="$PATH:${metacraft-labs.jolt}/bin" ''; doCheck = false; |