aboutsummaryrefslogtreecommitdiff
path: root/flake.nix
diff options
context:
space:
mode:
authorKamen Mladenov <kamen@syndamia.com>2025-02-27 11:35:14 +0200
committerKamen Mladenov <kamen@syndamia.com>2025-02-27 15:08:11 +0200
commit39ec264c0d90555237debff519cc890b755a0646 (patch)
tree09a9602f5637804fa7bd876fcd971ecb9d0afffe /flake.nix
parent3b037df28ccdd905db1e2668b68e78fe07ef6eee (diff)
downloadzkVMs-benchmarks-39ec264c0d90555237debff519cc890b755a0646.tar
zkVMs-benchmarks-39ec264c0d90555237debff519cc890b755a0646.tar.gz
zkVMs-benchmarks-39ec264c0d90555237debff519cc890b755a0646.zip
chore: Nix fmt
Diffstat (limited to 'flake.nix')
-rw-r--r--flake.nix110
1 files changed, 57 insertions, 53 deletions
diff --git a/flake.nix b/flake.nix
index 4befe0c..228aca8 100644
--- a/flake.nix
+++ b/flake.nix
@@ -3,75 +3,79 @@
nixConfig = {
extra-substituters = "https://nix-blockchain-development.cachix.org";
- extra-trusted-public-keys = "nix-blockchain-development.cachix.org-1:Ekei3RuW3Se+P/UIo6Q/oAgor/fVhFuuuX5jR8K/cdg=";
+ extra-trusted-public-keys =
+ "nix-blockchain-development.cachix.org-1:Ekei3RuW3Se+P/UIo6Q/oAgor/fVhFuuuX5jR8K/cdg=";
};
inputs = {
mcl-blockchain.url = "github:metacraft-labs/nix-blockchain-development";
- mcl-blockchain-old.url = "github:metacraft-labs/nix-blockchain-development?rev=f717747a4ce11d5764578d8ee1c505d00bf8a81e";
+ mcl-blockchain-old.url =
+ "github:metacraft-labs/nix-blockchain-development?rev=f717747a4ce11d5764578d8ee1c505d00bf8a81e";
nixpkgs.follows = "mcl-blockchain/nixpkgs";
crane.follows = "mcl-blockchain/crane";
rust-overlay.follows = "mcl-blockchain/rust-overlay";
# flake-utils.follows = "mcl-blockchain/flake-utils";
};
- outputs = { self, nixpkgs, mcl-blockchain, mcl-blockchain-old, crane, rust-overlay, ... }:
- let
- system = "x86_64-linux";
- pkgs = import nixpkgs { system = system; overlays = [
- mcl-blockchain.overlays.default
- rust-overlay.overlays.default
- (_: _: {
- metacraft-labs-old = mcl-blockchain-old.legacyPackages.${system}.metacraft-labs;
- })
- ];
- };
- craneLib-default = crane.mkLib pkgs;
- callPackage = pkgs.lib.callPackageWith pkgs;
+ outputs = { self, nixpkgs, mcl-blockchain, mcl-blockchain-old, crane
+ , rust-overlay, ... }:
+ let
+ system = "x86_64-linux";
+ pkgs = import nixpkgs {
+ system = system;
+ overlays = [
+ mcl-blockchain.overlays.default
+ rust-overlay.overlays.default
+ (_: _: {
+ metacraft-labs-old =
+ mcl-blockchain-old.legacyPackages.${system}.metacraft-labs;
+ })
+ ];
+ };
+ craneLib-default = crane.mkLib pkgs;
+ callPackage = pkgs.lib.callPackageWith pkgs;
- zkvms = builtins.attrNames
- (pkgs.lib.filterAttrs
- (_: type: type == "directory")
- (builtins.readDir ./zkvms));
+ zkvms = builtins.attrNames
+ (pkgs.lib.filterAttrs (_: type: type == "directory")
+ (builtins.readDir ./zkvms));
- guests = builtins.attrNames
- (pkgs.lib.filterAttrs
- (_: type: type == "directory")
- (builtins.readDir ./guests));
+ guests = builtins.attrNames
+ (pkgs.lib.filterAttrs (_: type: type == "directory")
+ (builtins.readDir ./guests));
- foldr = pkgs.lib.foldr;
+ foldr = pkgs.lib.foldr;
- createPackages = guestName: let
- guest = if guestName == null then "graph_coloring" else guestName;
- postfix = if guestName == null then "" else "/" + guest;
+ createPackages = guestName:
+ let
+ guest = if guestName == null then "graph_coloring" else guestName;
+ postfix = if guestName == null then "" else "/" + guest;
- args-zkVM = {
- inherit craneLib-default;
- zkvmLib = (import ./zkvmLib.nix) pkgs guest;
- };
- in foldr
- (host: accum: accum // {
- "${host}${postfix}" = callPackage ./zkvms/${host}/default.nix args-zkVM;
- })
- {}
- zkvms;
+ args-zkVM = {
+ inherit craneLib-default;
+ zkvmLib = (import ./zkvmLib.nix) pkgs guest;
+ };
+ in foldr (host: accum:
+ accum // {
+ "${host}${postfix}" =
+ callPackage ./zkvms/${host}/default.nix args-zkVM;
+ }) { } zkvms;
- hostPackages = foldr
- (guest: accum: accum // (createPackages guest))
- {}
- guests;
+ hostPackages =
+ foldr (guest: accum: accum // (createPackages guest)) { } guests;
- guestPackages = foldr
- (guest: accum: accum // {
- ${guest} = callPackage ./guest.nix { inherit guest; inherit zkvms; inherit hostPackages; };
- })
- {}
- guests;
- in {
- packages.${system} = hostPackages // guestPackages // {
- rust-format-all = callPackage ./rust-format-all.nix { };
- };
+ guestPackages = foldr (guest: accum:
+ accum // {
+ ${guest} = callPackage ./guest.nix {
+ inherit guest;
+ inherit zkvms;
+ inherit hostPackages;
+ };
+ }) { } guests;
+ in {
+ packages.${system} = hostPackages // guestPackages // {
+ rust-format-all = callPackage ./rust-format-all.nix { };
+ };
- formatter.${system} = pkgs.nixfmt;
- };
+ formatter.${system} = pkgs.nixfmt;
+ };
}