From e665a0d716dc42ba79b339b95e01eb99fe932cb3 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Fri, 21 Jun 2024 22:02:10 +0200
Subject: [PATCH] chore: Nix: fix update-stage0

---
 nix/bootstrap.nix | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/nix/bootstrap.nix b/nix/bootstrap.nix
index d989ad4fcf..bfa5837560 100644
--- a/nix/bootstrap.nix
+++ b/nix/bootstrap.nix
@@ -154,9 +154,7 @@ rec {
       };
       cacheRoots = linkFarmFromDrvs "cacheRoots" [
         stage0 lean leanc lean-all iTree modDepsFiles depRoots Leanc.src
-        # .o files are not a runtime dependency on macOS because of lack of thin archives
-        Init.oTree Std.oTree Lean.oTree Lake.oTree
-      ];
+      ] ++ map (lib: lib.oTree) stdlib;
       test = buildCMake {
         name = "lean-test-${desc}";
         realSrc = lib.sourceByRegex src [ "src.*" "tests.*" ];
@@ -179,7 +177,7 @@ rec {
         '';
       };
       update-stage0 =
-        let cTree = symlinkJoin { name = "cs"; paths = [ Init.cTree Lean.cTree Lake.cTree ]; }; in
+        let cTree = symlinkJoin { name = "cs"; paths = map (lib: lib.cTree) stdlib; }; in
         writeShellScriptBin "update-stage0" ''
           CSRCS=${cTree} CP_C_PARAMS="--dereference --no-preserve=all" ${src + "/script/lib/update-stage0"}
         '';