diff options
| author | Kamen Mladenov <kamen@syndamia.com> | 2025-02-27 11:35:14 +0200 |
|---|---|---|
| committer | Kamen Mladenov <kamen@syndamia.com> | 2025-02-27 11:35:14 +0200 |
| commit | 30f518fa36be8378d86b28e8eab2433151fe616a (patch) | |
| tree | 09a9602f5637804fa7bd876fcd971ecb9d0afffe /zkvms/sp1/default.nix | |
| parent | 15121fce6e67b352d9799403988a03a7c76d0310 (diff) | |
| download | zkVMs-benchmarks-30f518fa36be8378d86b28e8eab2433151fe616a.tar zkVMs-benchmarks-30f518fa36be8378d86b28e8eab2433151fe616a.tar.gz zkVMs-benchmarks-30f518fa36be8378d86b28e8eab2433151fe616a.zip | |
chore: Nix fmt
Diffstat (limited to 'zkvms/sp1/default.nix')
| -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; +}) |