chore: use weakLeanArgs for Lake plugin

2026-04-08 21:24:09 +00:00 · 2026-04-08 15:23:58 +00:00
1 changed files with 1 additions and 1 deletions
--- a/src/lakefile.toml.in
+++ b/src/lakefile.toml.in
@@ -77,7 +77,7 @@ globs = ["Lake.*"]
 defaultFacets = ["static", "static.export"]
 # Load the previous stage's lake native code into lake's build process in order to prevent ABI
 # breakages from affecting bootstrapping.
-moreLeanArgs = ["--plugin", "${PREV_STAGE}/${CMAKE_RELATIVE_LIBRARY_OUTPUT_DIRECTORY}/libLake_shared${CMAKE_SHARED_LIBRARY_SUFFIX}"]
+weakLeanArgs = ["--plugin", "${PREV_STAGE}/${CMAKE_RELATIVE_LIBRARY_OUTPUT_DIRECTORY}/libLake_shared${CMAKE_SHARED_LIBRARY_SUFFIX}"]

 [[lean_lib]]
 name = "LakeMain"