Open seanmcl opened 2 months ago
FYI, that error message can be ignored, very likely. The script is calling ldd
to check for an old glibc, which is unlikely to be there on a Mac that was able to install Lean. Maybe we can gate the check with whether you are running on Linux or MacOs.
(I was able to build on my Mac just fine.)
Before opening, please confirm:
Bug Category
Other
Describe the bug
I followed the instructions for osx. Got to here:
ldd is indeed not a thing on mac.
Expected behavior
installation succeeds
Reproduction steps
Code Snippet
Log output
Additional configuration
No response
Operating System
osx
Additional information and screenshots
No response