Skip to content

fix: cadical dynamic dependencies #11475

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
Kha merged 1 commit into from
Dec 2, 2025
Merged

fix: cadical dynamic dependencies #11475

Kha merged 1 commit into from
Dec 2, 2025

Conversation

@Kha
Copy link
Member

@Kha Kha commented Dec 2, 2025

#11423 led to cadical being built with the wrong sysroot flags, which resulted in it linking against the more recent system glibc

@Kha Kha added the changelog-no Do not include this PR in the release changelog label Dec 2, 2025
@github-actions github-actions bot added the toolchain-available A toolchain is available for this PR, at leanprover/lean4-pr-releases:pr-release-NNNN label Dec 2, 2025
@leanprover-community-bot
Copy link
Collaborator

leanprover-community-bot commented Dec 2, 2025

Mathlib CI status (docs):

  • ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase 0e83422fb6337985c3354c263a9510cbcb4b1e05 --onto 5bd331e85d9d110a29fb3367dbb21854010ffcbd. You can force Mathlib CI using the force-mathlib-ci label. (2025-12-02 13:49:18)

@leanprover-bot
Copy link
Collaborator

leanprover-bot commented Dec 2, 2025

Reference manual CI status:

  • ❗ Reference manual CI will not be attempted unless your PR branches off the nightly-with-manual branch. Try git rebase 0e83422fb6337985c3354c263a9510cbcb4b1e05 --onto d3dda9f6d4428a906c096067ecb75e432afc4615. You can force reference manual CI using the force-manual-ci label. (2025-12-02 13:49:19)

@Kha Kha added this pull request to the merge queue Dec 2, 2025
Merged via the queue into leanprover:master with commit a0c503c Dec 2, 2025
21 checks passed
@Kha Kha deleted the push-lmwzuyznnlro branch December 3, 2025 18:29
algebraic-dev pushed a commit that referenced this pull request Dec 8, 2025
@Kha @algebraic-dev
fix: cadical dynamic dependencies (#11475)
920db2a 
#11423 led to cadical being built with the wrong sysroot flags, which
resulted in it linking against the more recent system glibc
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

changelog-no Do not include this PR in the release changelog toolchain-available A toolchain is available for this PR, at leanprover/lean4-pr-releases:pr-release-NNNN

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@Kha @leanprover-community-bot @leanprover-bot