feat: query xcrun to find the correct location of libc(++) on MacOS - Githubissues

digama0 / lean-sys

Rust bindings for the Lean 4 proof assistant

Apache License 2.0

17 stars 5 forks source link

feat: query xcrun to find the correct location of libc(++) on MacOS #13

Open bollu opened 4 months ago

bollu commented 4 months ago

Information figured out from the following thread: https://apple.stackexchange.com/questions/432149/what-is-xcrun-and-why-would-updating-to-macos-mojave-cause-it-to-go-missing.