Sebastian Ullrich
3f05179fdb
chore: CI: fix Linux release jobs ( #11424 )
2025-11-28 16:27:32 +00:00
Sebastian Ullrich
5ef1c8ddfc
chore: cadical should never be built with fsanitize ( #11423 )
2025-11-28 14:36:39 +00:00
Sebastian Ullrich
cdb18f48cd
fix: ld.so linking on Linux ( #8228 )
...
This PR fixes an issue where, depending on the host glibc version,
Lean-built executables fail with an assertion in `ld.so`.
2025-05-05 11:50:59 +00:00
Sebastian Ullrich
9f48af3edd
fix: cadical distribution on Linux ( #8201 )
...
Compile it with the same flags as other executables
2025-05-02 18:25:16 +00:00
Sebastian Ullrich
791bba0091
feat: LLVM 15 -> 19 ( #6063 )
...
This PR updates the version of LLVM and clang used by and shipped with
Lean to 19.1.2
Fixes #5649
2025-04-21 17:18:18 +00:00
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
c157ddda11
fix: do not link statically against pthread/dl/rt ( #5966 )
2024-11-05 18:20:42 +00:00
Henrik Böving
9b6696be1d
feat: use libuv for tempfiles ( #5135 )
...
This is currently broken because of linker issues. CC @TwoFX
---------
Co-authored-by: Markus Himmel <markus@lean-fro.org >
2024-10-14 13:56:56 +00:00
Markus Himmel
c237c1f9fb
feat: link LibUV ( #4963 )
2024-08-12 12:33:24 +00:00
Sebastian Ullrich
992000a672
fix: C++ exceptions across shared libraries on Linux ( #3500 )
...
Server interruptions in C++ started to fail after #3421
2024-02-26 10:35:11 +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
Gabriel Ebner
1e79d659f2
chore: bundle libatomic in releases
2022-11-23 16:42:37 -08: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
7e853621eb
feat: CI: build linux_aarch64
2022-03-25 17:45:15 +01:00
Sebastian Ullrich
e49949b781
chore: prepare-llvm-linux: fix include path order
...
should really be `-isystem-after`, but clang ignores it...??
2022-03-24 12:33:33 +01:00
Sebastian Ullrich
75b3012a37
chore: prepare-llvm-linux: stop relying on /usr
2022-03-24 12:33:33 +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
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
3db3fb1429
feat: bundle LLVM on Windows
2021-11-18 09:42:35 +01:00
Sebastian Ullrich
749158c8c1
perf: strip LLVM binaries
2021-11-18 09:42:35 +01:00
Sebastian Ullrich
27bc6397a0
fix: actually link against GMP statically
2021-11-18 09:42:35 +01:00
Sebastian Ullrich
42ee91bcda
fix: Linux: bundle zlib
2021-11-18 09:42:35 +01:00
Sebastian Ullrich
8f4e59d9b5
chore: update lean-llvm
2021-11-18 09:42:35 +01:00
Sebastian Ullrich
2cb625e9c4
chore: update lean-llvm
2021-11-18 09:42:35 +01:00
Sebastian Ullrich
b236273780
feat: link external dependencies statically again
2021-11-18 09:42:35 +01:00
Sebastian Ullrich
5bbc160f4b
feat: use custom, more minimal LLVM build
2021-11-18 09:42:35 +01:00
Sebastian Ullrich
d2a1e20dd0
feat: bundling LLVM on Linux
2021-11-18 09:42:35 +01:00
