Linux arm64 build is actually an x86_64 build

[Robert Hildebrandt]

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

[Thomas Pani]

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

[Thomas Pani]

@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.

[Nikolaj Bjorner]

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