aboutsummaryrefslogtreecommitdiff
path: root/zkvms/zkwasm/default.nix
diff options
context:
space:
mode:
Diffstat (limited to 'zkvms/zkwasm/default.nix')
-rw-r--r--zkvms/zkwasm/default.nix75
1 files changed, 28 insertions, 47 deletions
diff --git a/zkvms/zkwasm/default.nix b/zkvms/zkwasm/default.nix
index b353bf7..88947ba 100644
--- a/zkvms/zkwasm/default.nix
+++ b/zkvms/zkwasm/default.nix
@@ -1,65 +1,46 @@
-{ zkvmLib,
- lib,
- rust-bin,
- metacraft-labs,
- wasm-pack,
- wasm-bindgen-cli,
- binaryen,
- craneLib-default,
- stdenv,
-}:
+{ zkvmLib, lib, rust-bin, metacraft-labs, wasm-pack, wasm-bindgen-cli, binaryen
+, craneLib-default, stdenv, }:
let
commonArgs = rec {
pname = "zkwasm";
inherit (metacraft-labs.zkwasm) version;
- 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 ]);
+ };
};
rust-toolchain = rust-bin.nightly."2024-04-09".default.override {
- targets = ["wasm32-unknown-unknown"];
+ targets = [ "wasm32-unknown-unknown" ];
};
craneLib = craneLib-default.overrideToolchain rust-toolchain;
cargoArtifacts = zkvmLib.buildDepsOnly craneLib commonArgs;
-in
- zkvmLib.buildPackage craneLib (commonArgs
- // {
- inherit cargoArtifacts;
+in zkvmLib.buildPackage craneLib (commonArgs // {
+ inherit cargoArtifacts;
- nativeBuildInputs = [
- metacraft-labs.zkwasm
- wasm-pack
- wasm-bindgen-cli
- binaryen
- ];
+ nativeBuildInputs =
+ [ metacraft-labs.zkwasm wasm-pack wasm-bindgen-cli binaryen ];
- preBuildGuest = ''
- # Workaround from
- # https://github.com/rustwasm/wasm-pack/issues/1335
- export WASM_PACK_CACHE=.wasm-pack-cache
- '';
+ preBuildGuest = ''
+ # Workaround from
+ # https://github.com/rustwasm/wasm-pack/issues/1335
+ export WASM_PACK_CACHE=.wasm-pack-cache
+ '';
- buildGuestCommand = "wasm-pack build --release --frozen --features zkwasm";
+ buildGuestCommand = "wasm-pack build --release --frozen --features zkwasm";
- preBuild = ''
- export GUEST_PATH="$out/pkg/guest_bg.wasm"
- '';
+ preBuild = ''
+ export GUEST_PATH="$out/pkg/guest_bg.wasm"
+ '';
- postInstall = ''
- mv zkvms/zkwasm/guest/pkg "$out"/
- '';
+ postInstall = ''
+ mv zkvms/zkwasm/guest/pkg "$out"/
+ '';
- preRunBinaries = [
- metacraft-labs.zkwasm
- ];
+ preRunBinaries = [ metacraft-labs.zkwasm ];
- doCheck = false;
- })
+ doCheck = false;
+})