Sebastian Ullrich
680ede7a89
fix: set LLVM sysroot consistently ( #6574 )
...
This PR actually prevents Lake from accidentally picking up other
toolchains installed on the machine.
Fixes regression introduced in #6176
2025-01-08 12:56:27 +00:00
Sebastian Ullrich
a2a525f5c7
fix: set absolute linker path ( #6547 )
...
This PR should prevent Lake from accidentally picking up other linkers
installed on the machine.
2025-01-07 14:06:24 +00:00
Markus Himmel
c237c1f9fb
feat: link LibUV ( #4963 )
2024-08-12 12:33:24 +00:00
Siddharth Bhat
496460020a
fix: disabling forwarding --target to lean.
...
This will ensure that we do not invoke `lean --target` without compiling
using LLVM.
2023-08-14 13:33:46 +02:00
Henrik
8d3af73853
feat: Linux LLVM CI for stage1+
2023-08-14 13:33:46 +02:00
Siddharth Bhat
146296b5fa
feat: enable LLVM in stage1+ compiler
2023-08-14 13:33:46 +02:00
Sebastian Ullrich
53477089fe
chore: remove unused macOS dependencies
2023-07-26 15:36:36 +02:00
Sebastian Ullrich
978a5b2528
fix: loading libc++ on macOS Sonoma
2023-07-26 15:36:36 +02:00
Siddharth
4d47c8abc6
feat: add LLVM C API bindings ( #1497 )
...
Co-authored-by: Sebastian Ullrich <sebasti@nullri.ch>
Co-authored-by: Gabriel Ebner <gebner@gebner.org>
2022-11-21 09:50:01 +01:00
Siddharth
e3f064ef87
Bump up to LLVM 15 ( #1691 )
2022-10-14 14:43:13 +00:00
Sebastian Ullrich
c755aa81bd
fix: properly distinguish between internal and public linker flags
2022-05-02 13:53:52 +02:00
Sebastian Ullrich
4a9bc88a4e
chore: fix USE_GMP=OFF by removing GMP linking customization
2022-03-26 16:29:52 +01:00
Sebastian Ullrich
7ce5b0c4ff
feat: CI: build darwin_aarch64
2022-03-26 16:29:52 +01:00
Sebastian Ullrich
ccf1292e07
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
2022-01-20 16:05:54 +01:00
Sebastian Ullrich
068ea1beb4
fix: leanc: do not change sysroot
...
Apparently clang is smart enough to look up runtime files missing from
the sysroot in the installation directory automatically.
2021-12-19 18:55:57 +01:00
Sebastian Ullrich
8f88b1f3f8
feat: bundle llvm-ar with Lean
2021-11-25 15:05:06 +01:00
Sebastian Ullrich
ad10495afa
chore: macOS: build with system c++
2021-11-20 11:04:39 +01:00
Sebastian Ullrich
99aee53172
fix: restore macOS compile flags
2021-11-18 09:42:35 +01:00
Sebastian Ullrich
74a616a965
chore: final cleanup?
2021-11-18 09:42:35 +01:00
Sebastian Ullrich
ad2fe8de80
feat: bundle LLVM on macOS
2021-11-18 09:42:35 +01:00
