From 05300f7b51307aede43365c54e4a07ea07b1e366 Mon Sep 17 00:00:00 2001
From: Mac Malone <tydeu@hatpress.net>
Date: Fri, 26 Sep 2025 23:30:21 -0400
Subject: [PATCH] chore: `restoreAllArtifacts = true` for core (#10582)

This PR sets `restoreAllArtifacts = true` in the core build Lake
configuration file.
---
 src/lakefile.toml.in | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/lakefile.toml.in b/src/lakefile.toml.in
index a95ce9377c..73107ef31c 100644
--- a/src/lakefile.toml.in
+++ b/src/lakefile.toml.in
@@ -13,6 +13,11 @@ defaultTargets = ["Init", "Std", "Lean", "Lake", "LakeMain", "Leanc"]
 # The root of all the compiler output directories
 buildDir = "${CMAKE_BINARY_DIR}"
 
+# Ensure build artifacts end up in the build directory even when the Lake
+# local artifact cache is enabled. This is necessary because subsequent stages
+# will expect the previous stage's artifacts to be in the build directory.
+restoreAllArtifacts = true
+
 # The directory of Lean source files (i.e., `src`)
 srcDir = "${LEAN_SOURCE_DIR}"