z3 icon indicating copy to clipboard operation
z3 copied to clipboard

Published 20 hours ago • verified publisher icon Z3Prover

Linux arm64 build is actually an x86_64 build

Open Robert42 opened this issue 10 months ago • 3 comments

I tried executing the newest z3 release on my raspberry pi, but the executable seems to be built for x86_64

How to Reproduce the issue

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

I get

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

Robert42 avatar Apr 03 '24 19:04 Robert42

I also ran into this, it should be fixed thru 648e05754c37220f1fbb5943b4e69545d82b7bae

thpani avatar Apr 19 '24 08:04 thpani

@NikolajBjorner Is there any chance of cutting a release soon?

All published Linux/aarch64 releases are actually x86_64, and the Nightly pipeline hasn't been publishing since March 7.

thpani avatar Apr 19 '24 08:04 thpani

We are currently blocked on reviving code signing after a forced password reset. There is no ETA.

NikolajBjorner avatar Apr 19 '24 09:04 NikolajBjorner

would be addressed with newest release

NikolajBjorner avatar Oct 01 '24 22:10 NikolajBjorner