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/nexus/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/nexus/default.nix')
| -rw-r--r-- | zkvms/nexus/default.nix | 66 |
1 files changed, 24 insertions, 42 deletions
diff --git a/zkvms/nexus/default.nix b/zkvms/nexus/default.nix index 7693836..44afc96 100644 --- a/zkvms/nexus/default.nix +++ b/zkvms/nexus/default.nix @@ -1,56 +1,38 @@ -{ zkvmLib, - stdenv, - lib, - just, - metacraft-labs, - openssl, - pkg-config, - craneLib-default, -}: +{ zkvmLib, stdenv, lib, just, metacraft-labs, openssl, pkg-config +, craneLib-default, }: let commonArgs = { pname = "nexus"; inherit (metacraft-labs.nexus) version; - src = with lib.fileset; toSource { - root = ../..; - fileset = intersection (gitTracked ../..) (unions [ - ./. - ../../guests - ../../guests_macro - ../../zkvms_host_io - ]); - }; - - nativeBuildInputs = [ - metacraft-labs.nexus - openssl - pkg-config - ]; + src = with lib.fileset; + toSource { + root = ../..; + fileset = intersection (gitTracked ../..) + (unions [ ./. ../../guests ../../guests_macro ../../zkvms_host_io ]); + }; + + nativeBuildInputs = [ metacraft-labs.nexus openssl pkg-config ]; }; craneLib = craneLib-default.overrideToolchain metacraft-labs.nexus; cargoArtifacts = zkvmLib.buildDepsOnly craneLib commonArgs; -in - zkvmLib.buildPackage craneLib (commonArgs - // rec { - inherit cargoArtifacts; +in zkvmLib.buildPackage craneLib (commonArgs // rec { + inherit cargoArtifacts; - preBuildGuest = '' - export RUSTFLAGS="-C link-arg=-T${guest/guest.ld}" - ''; + preBuildGuest = '' + export RUSTFLAGS="-C link-arg=-T${guest/guest.ld}" + ''; - guestTarget = "riscv32i-unknown-none-elf"; - guestExtraArgs = "--features no_std"; + guestTarget = "riscv32i-unknown-none-elf"; + guestExtraArgs = "--features no_std"; - preRunLibraries = [ - openssl - ]; + preRunLibraries = [ openssl ]; - preRun = '' - export ELF_PATH="$out/bin/guest" - export PKG_CONFIG_PATH='${openssl.dev}/lib/pkgconfig' # Dirty hack - ''; + preRun = '' + export ELF_PATH="$out/bin/guest" + export PKG_CONFIG_PATH='${openssl.dev}/lib/pkgconfig' # Dirty hack + ''; - doCheck = false; - }) + doCheck = false; +}) |