Zulip Chat Archive
Stream: lean4
Topic: LLVM toolchain instead of gcc and stdc++ on linux.
lxsameer (Jun 16 2025 at 16:55):
Hey folks,
Would it be possible to force lake, to use llvm toolchain, specially libc++ instead of libstdc++?
Last updated: Dec 20 2025 at 21:32 UTC