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.

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

Linux arm64 releases contain x86-64 binaries #7287

Closed
tchajed opened this issue Jul 13, 2024 · 2 comments
Closed

Linux arm64 releases contain x86-64 binaries #7287

tchajed opened this issue Jul 13, 2024 · 2 comments

Comments

@tchajed
Copy link

tchajed commented Jul 13, 2024

It seems like something is wrong with the release scripts for arm64 on Linux:

To reproduce:

wget https://github.com/Z3Prover/z3/releases/download/z3-4.13.0/z3-4.13.0-arm64-glibc-2.35.zip
unzip z3-4.13.0-arm64-glibc-2.35.zip
file z3-4.13.0-arm64-glibc-2.35/bin/z3

which produces

z3-4.13.0-arm64-glibc-2.35/bin/z3: ELF 64-bit LSB pie executable, x86-64, version 1 (GNU/Linux), dynamically linked, interpreter /lib64/ld-linux-x86-64.so.2, BuildID[sha1]=e211ea9ab79d498c87b8dd8ff895a58f525efe59, for GNU/Linux 3.2.0, not stripped
@tchajed
Copy link
Author

tchajed commented Jul 13, 2024

Credit to @utaal for finding this

@NikolajBjorner
Copy link
Contributor

wget https://github.com/Z3Prover/z3/releases/download/Nightly/z3-4.13.1-arm64-glibc-2.34.zip
unzip z3-4.13.1-arm64-glibc-2.34.zip
file z3-4.13.1-arm64-glibc-2.34/bin/z3

z3-4.13.1-arm64-glibc-2.34/bin/z3: ELF 64-bit LSB executable, ARM aarch64, version 1 (GNU/Linux), dynamically linked, interpreter /lib/ld-linux-aarch64.so.1, for GNU/Linux 3.7.0, with debug_info, not stripped

@waywardmonkeys waywardmonkeys mentioned this issue Jul 16, 2024
Closed
kris7t added a commit to graphs4value/refinery-z3 that referenced this issue Oct 2, 2024
@kris7t
chore: bump to Z3 4.13.2
9634e64 
* Fix linux-aarch64 build. While aarch64 builds of Z3 are now available,
  we still build our own due to Z3Prover/z3#7287
  and Z3Prover/z3#7406
* Build our own linux-x86-64 binary, since after
  Z3Prover/z3@b39bcd6
  Z3 only provides build with glibc 2.35, while Amazon Linuz 2023 only has
  glibc 2.34.
* We use Ubuntu Focal as a build environment (AMazon Linux doesn't have an
  aarch64 cross toolchain) with glibc 2.31. However, we had to update to gcc-10
  because Z3 requires C++20 after
  Z3Prover/z3@1e580a7
* We'll be able to upgrade our build environment once Amazon Linux 2025 becomes
  available with a newer glibc.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@tchajed @NikolajBjorner