fix that adgaLedger had to be built in order to list keys of .#packages

do not use flattenTree from flake-utils as that forces the build
IntersectMBO · Nov 24, 2022 · 34c42df · 34c42df
1 parent 6fdc345
commit 34c42df
Showing 1 changed file with 9 additions and 8 deletions.
diff --git a/flake.nix b/flake.nix
@@ -138,25 +138,26 @@
           extraExtensions = [ "hs" "cabal" ];
         };
       };
-    in flake-utils.lib.flattenTree (
+    in
       agdaPackages //
-      __mapAttrs (_: nixpkgs.lib.recurseIntoAttrs) {
-        ledger = specsDerivations {
+      nixpkgs.lib.mapAttrs' (k: nixpkgs.lib.nameValuePair "ledger/${k}") (
+        specsDerivations {
           inherit (agdaPackages) agdaLedger;
           dir = "Ledger";
           agdaLedgerFile = "Foreign/HSLedger.agda";
           hsMainFile = "HSLedgerTest.hs";
           doc = "Ledger";
-        };
-        midnight = specsDerivations {
+        }
+      ) //
+      nixpkgs.lib.mapAttrs' (k: nixpkgs.lib.nameValuePair "midnight/${k}") (
+        specsDerivations {
           inherit (agdaPackages) agdaLedger;
           dir = "MidnightExample";
           agdaLedgerFile = "HSLedger.agda";
           hsMainFile = "Main.hs";
           doc = "PDF";
-        };
-      }
-    );
+        }
+      );
   } //
     tullia.fromSimple system (import nix/tullia.nix)
   ));