z3: New version 4.15.4 (#11876)

* z3: New version 4.15.3

* z3: Update to 4.15.4

* z3: Disable Julia 1.14

* Update Z/z3/build_tarballs.jl

Co-authored-by: Mosè Giordano <[email protected]>

---------

Co-authored-by: Mosè Giordano <[email protected]>

Author: eschnett

Z/z3/build_tarballs.jl

@@ -2,18 +2,13 @@
 # `julia build_tarballs.jl --help` to see a usage message.
 using BinaryBuilder, Pkg
 
-# See https://github.com/JuliaLang/Pkg.jl/issues/2942
-# Once this Pkg issue is resolved, this must be removed
-uuid = Base.UUID("a83860b7-747b-57cf-bf1f-3e79990d037f")
-delete!(Pkg.Types.get_last_stdlibs(v"1.6.3"), uuid)
-
 name = "z3"
-version = v"4.15.2"
+version = v"4.15.4"
 
 # Collection of sources required to complete build
 sources = [
     ArchiveSource("https://github.com/Z3Prover/z3/releases/download/z3-$(version)/z3_solver-$(version).0.tar.gz",
-                  "6c304512105714c4235cbb8589bf0e1f44f7cb88f689534bc2389c4cb7463510"),
+                  "928c29b58c4eb62106da51c1914f6a4a55d0441f8f48a81b9da07950434a8946"),
     FileSource("https://github.com/phracker/MacOSX-SDKs/releases/download/10.15/MacOSX10.15.sdk.tar.xz",
                "2408d07df7f324d3beea818585a6d990ba99587c218a3969f924dfcc4de93b62"),
 ]
@@ -70,6 +65,9 @@ include("../../L/libjulia/common.jl")
 platforms = vcat(libjulia_platforms.(julia_versions)...)
 platforms = expand_cxxstring_abis(platforms)
 
+# libcxxwrap_julia_jll 0.14.4 supports only Julia 1.13.x
+filter!(p -> VersionNumber(p["julia_version"]) < v"1.14-", platforms)
+
 # The products that we will ensure are always built
 products = [
     LibraryProduct("libz3", :libz3),
@@ -81,7 +79,7 @@ products = [
 dependencies = [
     BuildDependency("libjulia_jll"),
     Dependency("GMP_jll"; compat="6.2.1"),
-    Dependency("libcxxwrap_julia_jll"),
+    Dependency("libcxxwrap_julia_jll"; compat="0.14.4"),
     Dependency("CompilerSupportLibraries_jll"; platforms=filter(!Sys.isapple, platforms)),
 ]