Skip to content

chore: lake: restoreAllArtifacts / CMake build types in TOML schema #10588

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
tydeu merged 1 commit into from
Sep 27, 2025
+8 −4
Merged

chore: lake: restoreAllArtifacts / CMake build types in TOML schema #10588

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
12 changes: 8 additions & 4 deletions src/lake/schemas/lakefile-toml-schema.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -22,10 +22,10 @@
"buildType": {
"type": "string",
"enum": [
"debug",
"relWithDebInfo",
"minSizeRel",
"release"
"debug", "Debug",
"relWithDebInfo", "RelWithDebInfo",
"minSizeRel", "MinSizeRel",
"release", "Release"
],
"default": "release",
"description": "The mode in which the modules should be built."
Expand Down Expand Up @@ -455,6 +455,10 @@
"type": "boolean",
"description": "Whether to enables Lake's local, offline artifact cache for the package.\n\nArtifacts (i.e., build products) of packages will be shared across local copies by storing them in a cache associated with the Lean toolchain.\nThis can significantly reduce initial build times and disk space usage when working with multiple copies of large projects or large dependencies.\n\nAs a caveat, build targets which support the artifact cache will not be stored in their usual location within the build directory. Thus, projects with custom build scripts that rely on specific location of artifacts may wish to disable this feature.\n\nIf not set, the cache will be disabled by default unless the `LAKE_ARTIFACT_CACHE` environment variable is set to true."
},
"restoreAllArtifacts": {
"type": "boolean",
"description": "Whether, when the local artifact cache is enabled, Lake should copy all cached artifacts into the build directory. This ensures the build results are available to external consumers who expect them in the build directory."
},
"srcDir": {
"type": "string",
"default": ".",
Expand Down
Loading