z3: fix empty libz3.so on musl targets and revbump llvm

[hystericca]

The current libz3 package on aarch64-musl contains a literal 0-byte empty libz3.so file

This completely breaks the LLVM toolchain on aarch64-musl as libLLVM.so attempts to load the empty library and crashes with symbol not found

Revbumping z3 and the llvm* suite forces a rebuild to generate the proper 29MB shared library and relink the dependents. I've tested a local xbps-src native build of this exact tree on aarch64-musl and confirmed it generates the library properly

Testing the changes

• I tested the changes in this PR: YES

Local build testing

• I built this PR locally for my native architecture, (ARCH-LIBC)
• I built this PR locally for these architectures (if supported. mark crossbuilds):
  • aarch64-musl

[Duncaen]

This seems wrong, there are no symlinks. That libz3.so is the library.

[Duncaen]

[duncaen@a-fsn-de ~]$ bsdtar tvf /srv/www/void-repo/current/aarch64/z3-4.16.0_1.aarch64-musl.xbps
-rwxr-xr-x  0 0      0         841 Feb 20 19:41 ./REMOVE
-rwxr-xr-x  0 0      0         843 Feb 20 19:41 ./INSTALL
-rw-r--r--  0 root   root     1547 Jan  1  1970 ./props.plist
-rw-r--r--  0 root   root     4771 Jan  1  1970 ./files.plist
-rw-r--r--  0 0      0        1096 Feb 20 19:41 ./usr/share/licenses/z3/LICENSE.txt
-rw-r--r--  0 0      0       11466 Feb 20 19:41 ./usr/lib/python3.14/site-packages/z3/z3util.py
-rw-r--r--  0 0      0        4883 Feb 20 19:41 ./usr/lib/python3.14/site-packages/z3/z3types.py
-rw-r--r--  0 0      0        5039 Feb 20 19:41 ./usr/lib/python3.14/site-packages/z3/z3rcf.py
-rw-r--r--  0 0      0       46305 Feb 20 19:41 ./usr/lib/python3.14/site-packages/z3/z3printer.py
-rw-r--r--  0 0      0        1113 Feb 20 19:41 ./usr/lib/python3.14/site-packages/z3/z3poly.py
-rw-r--r--  0 0      0       16384 Feb 20 19:41 ./usr/lib/python3.14/site-packages/z3/z3num.py
-rw-r--r--  0 0      0      203872 Feb 20 19:41 ./usr/lib/python3.14/site-packages/z3/z3core.py
-rw-r--r--  0 0      0        8016 Feb 20 19:41 ./usr/lib/python3.14/site-packages/z3/z3consts.py
-rw-r--r--  0 0      0      353755 Feb 20 19:41 ./usr/lib/python3.14/site-packages/z3/z3.py
lrwxrwxrwx  0 0      0           0 Feb 20 19:41 ./usr/lib/python3.14/site-packages/z3/lib/libz3.so -> ../../../../libz3.so
-rw-r--r--  0 0      0         210 Feb 20 19:41 ./usr/lib/python3.14/site-packages/z3/__init__.py
-rwxr-xr-x  0 0      0      264304 Feb 20 19:41 ./usr/bin/z3_tptp
-rwxr-xr-x  0 0      0    29496792 Feb 20 19:41 ./usr/bin/z3
-rwxr-xr-x  0 0      0       67328 Feb 20 19:41 ./usr/bin/maxsat
[duncaen@a-fsn-de ~]$ bsdtar tvf /srv/www/void-repo/current/aarch64/libz3-4.16.0_1.aarch64-musl.xbps
-rw-r--r--  0 root   root     1364 Jan  1  1970 ./props.plist
-rw-r--r--  0 root   root      632 Jan  1  1970 ./files.plist
-rwxr-xr-x  0 0      0    29308352 Feb 20 19:41 ./usr/lib/libz3.so
[duncaen@a-fsn-de ~]$ bsdtar tvf /srv/www/void-repo/current/aarch64/z3-devel-4.16.0_1.aarch64-musl.xbps
-rw-r--r--  0 root   root     1009 Jan  1  1970 ./props.plist
-rw-r--r--  0 root   root     3699 Jan  1  1970 ./files.plist
-rw-r--r--  0 0      0         192 Feb 20 19:41 ./usr/include/z3_version.h
-rw-r--r--  0 0      0        2220 Feb 20 19:41 ./usr/include/z3_v1.h
-rw-r--r--  0 0      0        4459 Feb 20 19:41 ./usr/include/z3_spacer.h
-rw-r--r--  0 0      0        9960 Feb 20 19:41 ./usr/include/z3_rcf.h
-rw-r--r--  0 0      0        1056 Feb 20 19:41 ./usr/include/z3_polynomial.h
-rw-r--r--  0 0      0       13798 Feb 20 19:41 ./usr/include/z3_optimization.h
-rw-r--r--  0 0      0         389 Feb 20 19:41 ./usr/include/z3_macros.h
-rw-r--r--  0 0      0       43932 Feb 20 19:41 ./usr/include/z3_fpa.h
-rw-r--r--  0 0      0       14123 Feb 20 19:41 ./usr/include/z3_fixedpoint.h
-rw-r--r--  0 0      0        5735 Feb 20 19:41 ./usr/include/z3_ast_containers.h
-rw-r--r--  0 0      0      273238 Feb 20 19:41 ./usr/include/z3_api.h
-rw-r--r--  0 0      0        7193 Feb 20 19:41 ./usr/include/z3_algebraic.h
-rw-r--r--  0 0      0         495 Feb 20 19:41 ./usr/include/z3.h
-rw-r--r--  0 0      0      212208 Feb 20 19:41 ./usr/include/z3++.h

[hystericca]

so it was just packaged as a 0 byte file then? how?

[Duncaen]

I don't see it having 0 bytes, check your system with xbps-pkgdb -a.

[hystericca]

yeah I just checked, I guess somehow when I downloaded the packages they got corrupted twice? sorry about that

[Duncaen]

Packages are signature verified, its not possible to download and install a corrupt package. But maybe some filesystem or memory issue or simply some other program could've overwritten files.