New Member

Stream: lean4

[Cong Wen]

I was trying to install lean 4 on macOS following https://leanprover.github.io/lean4/doc/setup.html, but soon got an error error: ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 12.2.0, which is newer than target minimum of 12.0.0 when trying to run "lake build"

[Xubai Wang]

The "error" is actually lld warnings rather than build error, and you can still run the executable in ./build/bin/.

[Cong Wen]

I see, thanks!