diff options
| author | Kamen Mladenov <kamen@syndamia.com> | 2025-02-27 11:35:14 +0200 |
|---|---|---|
| committer | Kamen Mladenov <kamen@syndamia.com> | 2025-02-27 15:08:11 +0200 |
| commit | 39ec264c0d90555237debff519cc890b755a0646 (patch) | |
| tree | 09a9602f5637804fa7bd876fcd971ecb9d0afffe /zkvms/zkwasm | |
| parent | 3b037df28ccdd905db1e2668b68e78fe07ef6eee (diff) | |
| download | zkVMs-benchmarks-39ec264c0d90555237debff519cc890b755a0646.tar zkVMs-benchmarks-39ec264c0d90555237debff519cc890b755a0646.tar.gz zkVMs-benchmarks-39ec264c0d90555237debff519cc890b755a0646.zip | |
chore: Nix fmt
Diffstat (limited to 'zkvms/zkwasm')
| -rw-r--r-- | zkvms/zkwasm/default.nix | 75 |
1 files changed, 28 insertions, 47 deletions
diff --git a/zkvms/zkwasm/default.nix b/zkvms/zkwasm/default.nix index b353bf7..88947ba 100644 --- a/zkvms/zkwasm/default.nix +++ b/zkvms/zkwasm/default.nix @@ -1,65 +1,46 @@ -{ zkvmLib, - lib, - rust-bin, - metacraft-labs, - wasm-pack, - wasm-bindgen-cli, - binaryen, - craneLib-default, - stdenv, -}: +{ zkvmLib, lib, rust-bin, metacraft-labs, wasm-pack, wasm-bindgen-cli, binaryen +, craneLib-default, stdenv, }: let commonArgs = rec { pname = "zkwasm"; inherit (metacraft-labs.zkwasm) version; - src = with lib.fileset; toSource { - root = ../..; - fileset = intersection (gitTracked ../..) (unions [ - ./. - ../../guests - ../../guests_macro - ../../zkvms_host_io - ]); - }; + src = with lib.fileset; + toSource { + root = ../..; + fileset = intersection (gitTracked ../..) + (unions [ ./. ../../guests ../../guests_macro ../../zkvms_host_io ]); + }; }; rust-toolchain = rust-bin.nightly."2024-04-09".default.override { - targets = ["wasm32-unknown-unknown"]; + targets = [ "wasm32-unknown-unknown" ]; }; craneLib = craneLib-default.overrideToolchain rust-toolchain; cargoArtifacts = zkvmLib.buildDepsOnly craneLib commonArgs; -in - zkvmLib.buildPackage craneLib (commonArgs - // { - inherit cargoArtifacts; +in zkvmLib.buildPackage craneLib (commonArgs // { + inherit cargoArtifacts; - nativeBuildInputs = [ - metacraft-labs.zkwasm - wasm-pack - wasm-bindgen-cli - binaryen - ]; + nativeBuildInputs = + [ metacraft-labs.zkwasm wasm-pack wasm-bindgen-cli binaryen ]; - preBuildGuest = '' - # Workaround from - # https://github.com/rustwasm/wasm-pack/issues/1335 - export WASM_PACK_CACHE=.wasm-pack-cache - ''; + preBuildGuest = '' + # Workaround from + # https://github.com/rustwasm/wasm-pack/issues/1335 + export WASM_PACK_CACHE=.wasm-pack-cache + ''; - buildGuestCommand = "wasm-pack build --release --frozen --features zkwasm"; + buildGuestCommand = "wasm-pack build --release --frozen --features zkwasm"; - preBuild = '' - export GUEST_PATH="$out/pkg/guest_bg.wasm" - ''; + preBuild = '' + export GUEST_PATH="$out/pkg/guest_bg.wasm" + ''; - postInstall = '' - mv zkvms/zkwasm/guest/pkg "$out"/ - ''; + postInstall = '' + mv zkvms/zkwasm/guest/pkg "$out"/ + ''; - preRunBinaries = [ - metacraft-labs.zkwasm - ]; + preRunBinaries = [ metacraft-labs.zkwasm ]; - doCheck = false; - }) + doCheck = false; +}) |
