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

Add support for aarch64 #12

Closed
thpani opened this issue Feb 17, 2022 · 3 comments
Closed

Add support for aarch64 #12

thpani opened this issue Feb 17, 2022 · 3 comments
Assignees
@no-preserve-root

Comments

@thpani
Copy link
Contributor

thpani commented Feb 17, 2022

On my Apple M1, Z3Loader.loadZ3 throws because aarch64 is not supported.

java.lang.UnsatisfiedLinkError: Unsupported CPU architecture: aarch64
at com.microsoft.z3.Z3Loader$CPUArchitecture.identify(Z3Loader.java:183)
at com.microsoft.z3.Z3Loader.loadZ3(Z3Loader.java:57)
at com.microsoft.z3.Native.<clinit>(Native.java:36)
at io.github.tudoaqua.z3turnkey.Z3LoaderTest.testLoading(Z3LoaderTest.java:32)

Could you add support for this architecture?

As a workaround, is there a way to fall back onto unbundled / system Z3 binaries?
This was referenced Feb 17, 2022
Closed
Closed
@no-preserve-root no-preserve-root self-assigned this Feb 17, 2022
@no-preserve-root
Copy link
Collaborator

no-preserve-root commented Feb 17, 2022 •
edited
Loading

I'll look into it! Unfortunately, there are no official Z3 aarch64 binaries yet (Z3 Issue), so we might need to build them ourselves and/or implement a workaround…

@no-preserve-root
Copy link
Collaborator

Done! From 4.8.15 on, we ship self-built binaries for aarch64 on MacOS. Note that the Maven groupId has been changed to tools.aqua.

@thpani
Copy link
Contributor Author

thpani commented May 5, 2022

This is great, thanks a lot!

glockyco added a commit to glockyco/PASDA that referenced this issue Nov 2, 2022
@glockyco
Fix 'Unsupported CPU architecture' errors on M1+ macs
3bf4cf6 
Support for M1+ macs was added to z3-turnkey with version 4.8.15:
tudo-aqua/z3-turnkey#12
glockyco added a commit to glockyco/PASDA that referenced this issue Nov 2, 2022
@glockyco
Fix 'Unsupported CPU architecture' errors on M1+ Macs
e3f5a46 
Support for M1+ macs was added to z3-turnkey with version 4.8.15:
tudo-aqua/z3-turnkey#12
glockyco added a commit to glockyco/PASDA that referenced this issue Nov 3, 2022
@glockyco
Fix 'Unsupported CPU architecture' errors on M1+ Macs
bd30a95 
Support for M1+ macs was added to z3-turnkey with version 4.8.15:
tudo-aqua/z3-turnkey#12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@no-preserve-root no-preserve-root

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@thpani @no-preserve-root