Skip to content
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.

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

Downgrade arm cross compile toolchain to glibc 2.34 #7153

Merged
merged 1 commit into from
Mar 7, 2024

Conversation

smoy
Copy link
Contributor

@smoy smoy commented Mar 7, 2024

I discover the most recent toolchain is built against glibc 2.36, this will defeat the purpose of manylinux. (too new)

I find a lower version that is built against glibc 2.34.

The original pypa-manylinux_2014 is built against glibc 2.17 but that is going to EOL by 2024-06-30.

The really old ARM toolchain has its own pain, so let's settle for glibc 2.34 for cross compiling.

I also plumb the correct glibc information during packaging so it reflect the version from the cross compile toolchain.

Bonus fix: native host aarch64 compiling, so those that need to build their own wheel can easily fire up the container on their own arch to build custom wheel in their own package repository.

@NikolajBjorner NikolajBjorner merged commit e873664 into Z3Prover:master Mar 7, 2024
13 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants