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/sp1 | |
| parent | 3b037df28ccdd905db1e2668b68e78fe07ef6eee (diff) | |
| download | zkVMs-benchmarks-39ec264c0d90555237debff519cc890b755a0646.tar zkVMs-benchmarks-39ec264c0d90555237debff519cc890b755a0646.tar.gz zkVMs-benchmarks-39ec264c0d90555237debff519cc890b755a0646.zip | |
chore: Nix fmt
Diffstat (limited to 'zkvms/sp1')
| -rw-r--r-- | zkvms/sp1/default.nix | 43 |
1 files changed, 14 insertions, 29 deletions
diff --git a/zkvms/sp1/default.nix b/zkvms/sp1/default.nix index 86a019c..5ab313e 100644 --- a/zkvms/sp1/default.nix +++ b/zkvms/sp1/default.nix @@ -1,43 +1,28 @@ -{ zkvmLib, - stdenv, - lib, - just, - metacraft-labs, - pkg-config, - craneLib-default, - gnum4, -}: +{ zkvmLib, stdenv, lib, just, metacraft-labs, pkg-config, craneLib-default +, gnum4, }: let commonArgs = { pname = "sp1"; inherit (metacraft-labs.sp1) version; - nativeBuildInputs = [ - metacraft-labs.sp1 - gnum4 - ]; + nativeBuildInputs = [ metacraft-labs.sp1 gnum4 ]; - 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 ]); + }; extraLockfile = "${metacraft-labs.sp1}/Cargo.lock"; }; craneLib = craneLib-default.overrideToolchain metacraft-labs.sp1; cargoArtifacts = zkvmLib.buildDepsOnly craneLib commonArgs; -in - zkvmLib.buildPackage craneLib (commonArgs - // { - inherit cargoArtifacts; +in zkvmLib.buildPackage craneLib (commonArgs // { + inherit cargoArtifacts; - guestTarget = "riscv32im-succinct-zkvm-elf"; + guestTarget = "riscv32im-succinct-zkvm-elf"; - doCheck = false; - }) + doCheck = false; +}) |