Cache modRoot

leanprover · Sep 23, 2023 · b0b1051 · b0b1051
1 parent 72140b0
commit b0b1051
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/nix/bootstrap.nix b/nix/bootstrap.nix
@@ -150,7 +150,7 @@ rec {
         meta.mainProgram = "lean";
       };
       cacheRoots = linkFarmFromDrvs "cacheRoots" [
-        stage0 lean leanc lean-all iTree modDepsFiles depRoots Leanc.src
+        stage0 lean leanc lean-all iTree modDepsFiles Lean.modRoot Leanc.src
         # .o files are not a runtime dependency on macOS because of lack of thin archives
         Lean.oTree Lake.oTree
       ];