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

Missing Java bindings for Linux on ARM64 in release 4.13.2 #7406

Closed
kfriedberger opened this issue Sep 28, 2024 · 3 comments
Closed

Missing Java bindings for Linux on ARM64 in release 4.13.2 #7406

kfriedberger opened this issue Sep 28, 2024 · 3 comments

Comments

@kfriedberger
Copy link
Contributor

Dear Z3 developers,
I wanted to kindly suggest two improvements for your releases, especially for the Java bindings in your artifacts:

Thank you for considering this in the next release, and for your great work on Z3!
Best.
@kfriedberger kfriedberger mentioned this issue Sep 28, 2024
Closed
NikolajBjorner added a commit that referenced this issue Sep 30, 2024
@NikolajBjorner
attempt to use uniform java library location under bin #7406
b65afd4
NikolajBjorner added a commit that referenced this issue Sep 30, 2024
@NikolajBjorner
2nd attempt to use uniform java library location under bin #7406
30b4fe6 
Signed-off-by: Nikolaj Bjorner <[email protected]>
@NikolajBjorner
Copy link
Contributor

The current nightly should have it https://github.com/Z3Prover/z3/releases/tag/Nightly.
I will roll another release this week to get this in.

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.
@kfriedberger
Copy link
Contributor Author

Release 4.13.3 seems to contain all wanted files. Thanks.

The file Microsoft.Z3.dll is included in both the Linux and macOS releases, but it's technically not required for those platforms, correct? Better to have an extra file than to miss one! 😄

@NikolajBjorner
Copy link
Contributor

Microsoft.Z3.dll is for .Net.

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
@NikolajBjorner @kfriedberger