search

tudo-aqua / z3-turnkey

TurnKey artifact for Z3
33 stars 5 forks source link

java.lang.UnsatisfiedLinkError: No native libraries present for LINUX on AARCH64 #18

Open AlienKevin opened 1 year ago

AlienKevin commented 1 year ago

Hi, I'm using z3-turnkey in a Debian docker container that runs on a M1 mac. Is there a way to build z3-turnkey for AARCH64 Linux? Thanks

no-preserve-root commented 1 year ago

At the moment, we are only packaging the binaries provided by Z3. If they are interested in releasing an official build for aarch64, we could simply package that, otherwise, we could theoretically build the libraries for linux/aarch64 ourselves. Could you open an issue at the Z3 project?

AlienKevin commented 1 year ago

Looks like someone raised the same issue in Z3 5 days ago. There seems to be a nightly build available for Linux AARCH64: https://github.com/Z3Prover/z3/issues/6835

no-preserve-root commented 5 months ago

Currently blocked by https://github.com/Z3Prover/z3/issues/7201