From 30f518fa36be8378d86b28e8eab2433151fe616a Mon Sep 17 00:00:00 2001
From: Kamen Mladenov <kamen@syndamia.com>
Date: Thu, 27 Feb 2025 11:35:14 +0200
Subject: chore: Nix fmt

---
 zkvms/nexus/default.nix | 66 ++++++++++++++++++-------------------------------
 1 file changed, 24 insertions(+), 42 deletions(-)

(limited to 'zkvms/nexus/default.nix')

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;
+})
-- 
cgit v1.2.3