From 0cc9b7533d70900a8722ce5a6b3c754f0144831e Mon Sep 17 00:00:00 2001 From: Kamen Mladenov Date: Wed, 26 Feb 2025 13:27:44 +0200 Subject: fix(guest.nix): Make order of zkVM runs alphabetic --- flake.nix | 4 ++-- guest.nix | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/flake.nix b/flake.nix index 89a10d7..332eae4 100644 --- a/flake.nix +++ b/flake.nix @@ -34,10 +34,10 @@ (_: type: type == "directory") (builtins.readDir ./zkvms)); - guests = [ null ] ++ (builtins.attrNames + guests = builtins.attrNames (pkgs.lib.filterAttrs (_: type: type == "directory") - (builtins.readDir ./guests))); + (builtins.readDir ./guests)); foldr = pkgs.lib.foldr; diff --git a/guest.nix b/guest.nix index 9d3086c..5b321cc 100644 --- a/guest.nix +++ b/guest.nix @@ -18,7 +18,7 @@ writeShellApplication { "$@" } '' + lib.foldr - (zkvm: accum: accum + "runZKVM \"${hostPackages."${zkvm}/${guest}"}/bin/${zkvm}_${guest}\" \"$@\"\n") + (zkvm: accum: "runZKVM \"${hostPackages."${zkvm}/${guest}"}/bin/${zkvm}_${guest}\" \"$@\"\n" + accum) "" zkvms; } -- cgit v1.2.3