diff options
| author | Kamen Mladenov <kamen@syndamia.com> | 2025-01-30 15:48:53 +0200 |
|---|---|---|
| committer | Kamen Mladenov <kamen@syndamia.com> | 2025-01-30 15:48:53 +0200 |
| commit | 6eeab4cfaedb568a8a4e2e194fbef94559618920 (patch) | |
| tree | 330ae9c156077c8413a818fe8b38cccbb2a1d4d9 | |
| parent | 27fc1d69886a43d6d0d8be4627ec0cfeb7ce07d6 (diff) | |
| download | zkVMs-benchmarks-6eeab4cfaedb568a8a4e2e194fbef94559618920.tar zkVMs-benchmarks-6eeab4cfaedb568a8a4e2e194fbef94559618920.tar.gz zkVMs-benchmarks-6eeab4cfaedb568a8a4e2e194fbef94559618920.zip | |
feat(flake): Generate zkvm packages with all available ones in zkvms folder
| -rw-r--r-- | flake.nix | 20 |
1 files changed, 12 insertions, 8 deletions
@@ -25,6 +25,12 @@ craneLib-default = crane.mkLib pkgs; callPackage = pkgs.lib.callPackageWith pkgs; + zkvms = builtins.attrNames + (pkgs.lib.filterAttrs + (_: type: type == "directory") + (builtins.readDir ./zkvms)); + foldr = pkgs.lib.foldr; + createPackages = guestName: let guest = if guestName == null then "graph_coloring" else guestName; postfix = if guestName == null then "" else "/" + guest; @@ -33,14 +39,12 @@ inherit craneLib-default; zkvmLib = (import ./zkvmLib.nix) pkgs guest; }; - in { - "risc0${postfix}" = callPackage ./zkvms/risc0/default.nix args-zkVM; - "sp1${postfix}" = callPackage ./zkvms/sp1/default.nix args-zkVM; - "zkwasm${postfix}" = callPackage ./zkvms/zkwasm/default.nix args-zkVM; - "zkm${postfix}" = callPackage ./zkvms/zkm/default.nix args-zkVM; - "jolt${postfix}" = callPackage ./zkvms/jolt/default.nix args-zkVM; - "nexus${postfix}" = callPackage ./zkvms/nexus/default.nix args-zkVM; - }; + in foldr + (host: accum: accum // { + "${host}${postfix}" = callPackage ./zkvms/${host}/default.nix args-zkVM; + }) + {} + zkvms; guests = [ null ] ++ (builtins.attrNames (pkgs.lib.filterAttrs |