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;
+})