Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Set lld as macOS linker only if SDK is greater or equal to 15 (#1190)
It seems that `lld` can't find the libs correctly in macOS SDK < 15 and this is blocking K's release: https://github.com/runtimeverification/k/actions/runs/12327347003/job/34409254563
- Loading branch information