lean4-htt/stage0
Mac Malone f6f54955fe
fix: lake: thin archives for Windows bootstrap only (#9604)
This PR restricts Lake's production of thin archives to only the Windows
core build (i.e., `bootstrap = true`). The unbundled `ar` usually used
for core builds on macOS does not support `--thin`, so we avoid using it
unless necessary.
2025-08-03 03:54:33 +00:00
..
src fix: lake: thin archives for Windows bootstrap only (#9604) 2025-08-03 03:54:33 +00:00
stdlib chore: update stage0 2025-08-01 06:29:07 +00:00