fix: rework header/lib handling with bundled clang * use `-nostdinc` to make sure system headers don't affect us * include clang headers with `-isystem`, which suppresses all those warnings * do not use default sysroot on Windows after all, since that can be a surprising location Fixes #922
This is the repository for Lean 4, which is currently being released as milestone releases towards a first stable release. Lean 3 is still the latest stable release.
See Setting Up Lean.
Please read our Contribution Guidelines first.
See Building Lean.