chore: Nix: fix cacheRoots

leanprover · Jun 21, 2024 · 4808eb7 · 4808eb7
1 parent 5767a59
commit 4808eb7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/nix/bootstrap.nix b/nix/bootstrap.nix
@@ -152,9 +152,9 @@ rec {
         '';
         meta.mainProgram = "lean";
       };
-      cacheRoots = linkFarmFromDrvs "cacheRoots" [
+      cacheRoots = linkFarmFromDrvs "cacheRoots" ([
         stage0 lean leanc lean-all iTree modDepsFiles depRoots Leanc.src
-      ] ++ map (lib: lib.oTree) stdlib;
+      ] ++ map (lib: lib.oTree) stdlib);
       test = buildCMake {
         name = "lean-test-${desc}";
         realSrc = lib.sourceByRegex src [ "src.*" "tests.*" ];