z3_jll build 4.11.2+0

JuliaBinaryWrappers · Nov 6, 2022 · 9b36ea2 · 9b36ea2
1 parent 06760a2
commit 9b36ea2
Show file tree

Hide file tree

Showing 106 changed files with 657 additions and 806 deletions.
diff --git a/Artifacts.toml b/Artifacts.toml
diff --git a/Project.toml b/Project.toml
@@ -1,10 +1,12 @@
 name = "z3_jll"
 uuid = "1bc4e1ec-7839-5212-8f2f-0d16b7bd09bc"
-version = "4.8.14+0"
+version = "4.11.2+0"
 
 [deps]
 JLLWrappers = "692b3bcd-3c85-4b1f-b108-f13ce0eb3210"
 Pkg = "44cfe95a-1eb2-52ea-b672-e2afdf69b78f"
+GMP_jll = "781609d7-10c4-51f6-84f2-b8444358ff6d"
+CompilerSupportLibraries_jll = "e66e0078-7015-5450-92f7-15fbd957f2ae"
 libcxxwrap_julia_jll = "3eaa8342-bff7-56a5-9981-c04077f7cee7"
 Libdl = "8f399da3-3557-5675-b5ff-fb832c97cbdb"
 Artifacts = "56f22d72-fd6d-98f1-02f0-08ddc0907c33"

diff --git a/README.md b/README.md
@@ -1,10 +1,10 @@
-# `z3_jll.jl` (v4.8.14+0)
+# `z3_jll.jl` (v4.11.2+0)
 
 [![deps](https://juliahub.com/docs/z3_jll/deps.svg)](https://juliahub.com/ui/Packages/z3_jll/wcWKl?page=2)
 
 This is an autogenerated package constructed using [`BinaryBuilder.jl`](https://github.com/JuliaPackaging/BinaryBuilder.jl).
 
-The originating [`build_tarballs.jl`](https://github.com/JuliaPackaging/Yggdrasil/blob/92a060b62ecd565bac4728611535917a8873f665/Z/z3/build_tarballs.jl) script can be found on [`Yggdrasil`](https://github.com/JuliaPackaging/Yggdrasil/), the community build tree.")
+The originating [`build_tarballs.jl`](https://github.com/JuliaPackaging/Yggdrasil/blob/77a350f365fc1a9ded81ae30fc02011788aedbb9/Z/z3/build_tarballs.jl) script can be found on [`Yggdrasil`](https://github.com/JuliaPackaging/Yggdrasil/), the community build tree.
 
 ## Bug Reports
 
@@ -18,7 +18,7 @@ For more details about JLL packages and how to use them, see `BinaryBuilder.jl`
 
 The tarballs for `z3_jll.jl` have been built from these sources:
 
-* git repository: https://github.com/Z3Prover/z3.git (revision: `df8f9d7dcb8b9f9b3de1072017b7c2b7f63f0af8`)
+* compressed archive: https://github.com/Z3Prover/z3/archive/z3-4.11.2.tar.gz (SHA256 checksum: `e3a82431b95412408a9c994466fad7252135c8ed3f719c986cd75c8c5f234c7e`)
 * compressed archive: https://github.com/phracker/MacOSX-SDKs/releases/download/10.15/MacOSX10.15.sdk.tar.xz (SHA256 checksum: `2408d07df7f324d3beea818585a6d990ba99587c218a3969f924dfcc4de93b62`)
 
 ## Platforms
@@ -46,32 +46,24 @@ The tarballs for `z3_jll.jl` have been built from these sources:
 * `Linux aarch64 {cxxstring_abi=cxx11, julia_version=1.9.0, libc=musl}` (`aarch64-linux-musl-cxx11-julia_version+1.9.0`)
 * `Linux armv6l {call_abi=eabihf, cxxstring_abi=cxx03, julia_version=1.7.0, libc=glibc}` (`armv6l-linux-gnueabihf-cxx03-julia_version+1.7.0`)
 * `Linux armv6l {call_abi=eabihf, cxxstring_abi=cxx03, julia_version=1.8.0, libc=glibc}` (`armv6l-linux-gnueabihf-cxx03-julia_version+1.8.0`)
-* `Linux armv6l {call_abi=eabihf, cxxstring_abi=cxx03, julia_version=1.9.0, libc=glibc}` (`armv6l-linux-gnueabihf-cxx03-julia_version+1.9.0`)
 * `Linux armv6l {call_abi=eabihf, cxxstring_abi=cxx11, julia_version=1.7.0, libc=glibc}` (`armv6l-linux-gnueabihf-cxx11-julia_version+1.7.0`)
 * `Linux armv6l {call_abi=eabihf, cxxstring_abi=cxx11, julia_version=1.8.0, libc=glibc}` (`armv6l-linux-gnueabihf-cxx11-julia_version+1.8.0`)
-* `Linux armv6l {call_abi=eabihf, cxxstring_abi=cxx11, julia_version=1.9.0, libc=glibc}` (`armv6l-linux-gnueabihf-cxx11-julia_version+1.9.0`)
 * `Linux armv6l {call_abi=eabihf, cxxstring_abi=cxx03, julia_version=1.7.0, libc=musl}` (`armv6l-linux-musleabihf-cxx03-julia_version+1.7.0`)
 * `Linux armv6l {call_abi=eabihf, cxxstring_abi=cxx03, julia_version=1.8.0, libc=musl}` (`armv6l-linux-musleabihf-cxx03-julia_version+1.8.0`)
-* `Linux armv6l {call_abi=eabihf, cxxstring_abi=cxx03, julia_version=1.9.0, libc=musl}` (`armv6l-linux-musleabihf-cxx03-julia_version+1.9.0`)
 * `Linux armv6l {call_abi=eabihf, cxxstring_abi=cxx11, julia_version=1.7.0, libc=musl}` (`armv6l-linux-musleabihf-cxx11-julia_version+1.7.0`)
 * `Linux armv6l {call_abi=eabihf, cxxstring_abi=cxx11, julia_version=1.8.0, libc=musl}` (`armv6l-linux-musleabihf-cxx11-julia_version+1.8.0`)
-* `Linux armv6l {call_abi=eabihf, cxxstring_abi=cxx11, julia_version=1.9.0, libc=musl}` (`armv6l-linux-musleabihf-cxx11-julia_version+1.9.0`)
 * `Linux armv7l {call_abi=eabihf, cxxstring_abi=cxx03, julia_version=1.6.3, libc=glibc}` (`armv7l-linux-gnueabihf-cxx03-julia_version+1.6.3`)
 * `Linux armv7l {call_abi=eabihf, cxxstring_abi=cxx03, julia_version=1.7.0, libc=glibc}` (`armv7l-linux-gnueabihf-cxx03-julia_version+1.7.0`)
 * `Linux armv7l {call_abi=eabihf, cxxstring_abi=cxx03, julia_version=1.8.0, libc=glibc}` (`armv7l-linux-gnueabihf-cxx03-julia_version+1.8.0`)
-* `Linux armv7l {call_abi=eabihf, cxxstring_abi=cxx03, julia_version=1.9.0, libc=glibc}` (`armv7l-linux-gnueabihf-cxx03-julia_version+1.9.0`)
 * `Linux armv7l {call_abi=eabihf, cxxstring_abi=cxx11, julia_version=1.6.3, libc=glibc}` (`armv7l-linux-gnueabihf-cxx11-julia_version+1.6.3`)
 * `Linux armv7l {call_abi=eabihf, cxxstring_abi=cxx11, julia_version=1.7.0, libc=glibc}` (`armv7l-linux-gnueabihf-cxx11-julia_version+1.7.0`)
 * `Linux armv7l {call_abi=eabihf, cxxstring_abi=cxx11, julia_version=1.8.0, libc=glibc}` (`armv7l-linux-gnueabihf-cxx11-julia_version+1.8.0`)
-* `Linux armv7l {call_abi=eabihf, cxxstring_abi=cxx11, julia_version=1.9.0, libc=glibc}` (`armv7l-linux-gnueabihf-cxx11-julia_version+1.9.0`)
 * `Linux armv7l {call_abi=eabihf, cxxstring_abi=cxx03, julia_version=1.6.3, libc=musl}` (`armv7l-linux-musleabihf-cxx03-julia_version+1.6.3`)
 * `Linux armv7l {call_abi=eabihf, cxxstring_abi=cxx03, julia_version=1.7.0, libc=musl}` (`armv7l-linux-musleabihf-cxx03-julia_version+1.7.0`)
 * `Linux armv7l {call_abi=eabihf, cxxstring_abi=cxx03, julia_version=1.8.0, libc=musl}` (`armv7l-linux-musleabihf-cxx03-julia_version+1.8.0`)
-* `Linux armv7l {call_abi=eabihf, cxxstring_abi=cxx03, julia_version=1.9.0, libc=musl}` (`armv7l-linux-musleabihf-cxx03-julia_version+1.9.0`)
 * `Linux armv7l {call_abi=eabihf, cxxstring_abi=cxx11, julia_version=1.6.3, libc=musl}` (`armv7l-linux-musleabihf-cxx11-julia_version+1.6.3`)
 * `Linux armv7l {call_abi=eabihf, cxxstring_abi=cxx11, julia_version=1.7.0, libc=musl}` (`armv7l-linux-musleabihf-cxx11-julia_version+1.7.0`)
 * `Linux armv7l {call_abi=eabihf, cxxstring_abi=cxx11, julia_version=1.8.0, libc=musl}` (`armv7l-linux-musleabihf-cxx11-julia_version+1.8.0`)
-* `Linux armv7l {call_abi=eabihf, cxxstring_abi=cxx11, julia_version=1.9.0, libc=musl}` (`armv7l-linux-musleabihf-cxx11-julia_version+1.9.0`)
 * `Linux i686 {cxxstring_abi=cxx03, julia_version=1.6.3, libc=glibc}` (`i686-linux-gnu-cxx03-julia_version+1.6.3`)
 * `Linux i686 {cxxstring_abi=cxx03, julia_version=1.7.0, libc=glibc}` (`i686-linux-gnu-cxx03-julia_version+1.7.0`)
 * `Linux i686 {cxxstring_abi=cxx03, julia_version=1.8.0, libc=glibc}` (`i686-linux-gnu-cxx03-julia_version+1.8.0`)
@@ -133,6 +125,8 @@ The tarballs for `z3_jll.jl` have been built from these sources:
 
 The following JLL packages are required by `z3_jll.jl`:
 
+* [`CompilerSupportLibraries_jll`](https://github.com/JuliaBinaryWrappers/CompilerSupportLibraries_jll.jl)
+* [`GMP_jll`](https://github.com/JuliaBinaryWrappers/GMP_jll.jl)
 * [`libcxxwrap_julia_jll`](https://github.com/JuliaBinaryWrappers/libcxxwrap_julia_jll.jl)
 
 ## Products

diff --git a/src/wrappers/aarch64-apple-darwin-julia_version+1.7.0.jl b/src/wrappers/aarch64-apple-darwin-julia_version+1.7.0.jl
@@ -1,16 +1,17 @@
 # Autogenerated wrapper script for z3_jll for aarch64-apple-darwin-julia_version+1.7.0
 export libz3, libz3jl, z3
 
+using GMP_jll
 using libcxxwrap_julia_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "@rpath/libz3.4.8.dylib")
+JLLWrappers.@declare_library_product(libz3, "@rpath/libz3.4.11.dylib")
 JLLWrappers.@declare_library_product(libz3jl, "@rpath/libz3jl.dylib")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()
-    JLLWrappers.@generate_init_header(libcxxwrap_julia_jll)
+    JLLWrappers.@generate_init_header(GMP_jll, libcxxwrap_julia_jll)
     JLLWrappers.@init_library_product(
         libz3,
-        "lib/libz3.4.8.dylib",
+        "lib/libz3.4.11.dylib",
         RTLD_LAZY | RTLD_DEEPBIND,
     )
 

diff --git a/src/wrappers/aarch64-apple-darwin-julia_version+1.8.0.jl b/src/wrappers/aarch64-apple-darwin-julia_version+1.8.0.jl
@@ -1,16 +1,17 @@
 # Autogenerated wrapper script for z3_jll for aarch64-apple-darwin-julia_version+1.8.0
 export libz3, libz3jl, z3
 
+using GMP_jll
 using libcxxwrap_julia_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "@rpath/libz3.4.8.dylib")
+JLLWrappers.@declare_library_product(libz3, "@rpath/libz3.4.11.dylib")
 JLLWrappers.@declare_library_product(libz3jl, "@rpath/libz3jl.dylib")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()
-    JLLWrappers.@generate_init_header(libcxxwrap_julia_jll)
+    JLLWrappers.@generate_init_header(GMP_jll, libcxxwrap_julia_jll)
     JLLWrappers.@init_library_product(
         libz3,
-        "lib/libz3.4.8.dylib",
+        "lib/libz3.4.11.dylib",
         RTLD_LAZY | RTLD_DEEPBIND,
     )
 

diff --git a/src/wrappers/aarch64-apple-darwin-julia_version+1.9.0.jl b/src/wrappers/aarch64-apple-darwin-julia_version+1.9.0.jl
@@ -1,16 +1,17 @@
 # Autogenerated wrapper script for z3_jll for aarch64-apple-darwin-julia_version+1.9.0
 export libz3, libz3jl, z3
 
+using GMP_jll
 using libcxxwrap_julia_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "@rpath/libz3.4.8.dylib")
+JLLWrappers.@declare_library_product(libz3, "@rpath/libz3.4.11.dylib")
 JLLWrappers.@declare_library_product(libz3jl, "@rpath/libz3jl.dylib")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()
-    JLLWrappers.@generate_init_header(libcxxwrap_julia_jll)
+    JLLWrappers.@generate_init_header(GMP_jll, libcxxwrap_julia_jll)
     JLLWrappers.@init_library_product(
         libz3,
-        "lib/libz3.4.8.dylib",
+        "lib/libz3.4.11.dylib",
         RTLD_LAZY | RTLD_DEEPBIND,
     )
 

diff --git a/src/wrappers/aarch64-linux-gnu-cxx03-julia_version+1.6.3.jl b/src/wrappers/aarch64-linux-gnu-cxx03-julia_version+1.6.3.jl
@@ -1,13 +1,15 @@
 # Autogenerated wrapper script for z3_jll for aarch64-linux-gnu-cxx03-julia_version+1.6.3
 export libz3, libz3jl, z3
 
+using GMP_jll
 using libcxxwrap_julia_jll
+using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.8")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()
-    JLLWrappers.@generate_init_header(libcxxwrap_julia_jll)
+    JLLWrappers.@generate_init_header(GMP_jll, libcxxwrap_julia_jll, CompilerSupportLibraries_jll)
     JLLWrappers.@init_library_product(
         libz3,
         "lib/libz3.so",

diff --git a/src/wrappers/aarch64-linux-gnu-cxx03-julia_version+1.7.0.jl b/src/wrappers/aarch64-linux-gnu-cxx03-julia_version+1.7.0.jl
@@ -1,13 +1,15 @@
 # Autogenerated wrapper script for z3_jll for aarch64-linux-gnu-cxx03-julia_version+1.7.0
 export libz3, libz3jl, z3
 
+using GMP_jll
 using libcxxwrap_julia_jll
+using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.8")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()
-    JLLWrappers.@generate_init_header(libcxxwrap_julia_jll)
+    JLLWrappers.@generate_init_header(GMP_jll, libcxxwrap_julia_jll, CompilerSupportLibraries_jll)
     JLLWrappers.@init_library_product(
         libz3,
         "lib/libz3.so",

diff --git a/src/wrappers/aarch64-linux-gnu-cxx03-julia_version+1.8.0.jl b/src/wrappers/aarch64-linux-gnu-cxx03-julia_version+1.8.0.jl
@@ -1,13 +1,15 @@
 # Autogenerated wrapper script for z3_jll for aarch64-linux-gnu-cxx03-julia_version+1.8.0
 export libz3, libz3jl, z3
 
+using GMP_jll
 using libcxxwrap_julia_jll
+using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.8")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()
-    JLLWrappers.@generate_init_header(libcxxwrap_julia_jll)
+    JLLWrappers.@generate_init_header(GMP_jll, libcxxwrap_julia_jll, CompilerSupportLibraries_jll)
     JLLWrappers.@init_library_product(
         libz3,
         "lib/libz3.so",

diff --git a/src/wrappers/aarch64-linux-gnu-cxx03-julia_version+1.9.0.jl b/src/wrappers/aarch64-linux-gnu-cxx03-julia_version+1.9.0.jl
@@ -1,13 +1,15 @@
 # Autogenerated wrapper script for z3_jll for aarch64-linux-gnu-cxx03-julia_version+1.9.0
 export libz3, libz3jl, z3
 
+using GMP_jll
 using libcxxwrap_julia_jll
+using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.8")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()
-    JLLWrappers.@generate_init_header(libcxxwrap_julia_jll)
+    JLLWrappers.@generate_init_header(GMP_jll, libcxxwrap_julia_jll, CompilerSupportLibraries_jll)
     JLLWrappers.@init_library_product(
         libz3,
         "lib/libz3.so",

diff --git a/src/wrappers/aarch64-linux-gnu-cxx11-julia_version+1.6.3.jl b/src/wrappers/aarch64-linux-gnu-cxx11-julia_version+1.6.3.jl
@@ -1,13 +1,15 @@
 # Autogenerated wrapper script for z3_jll for aarch64-linux-gnu-cxx11-julia_version+1.6.3
 export libz3, libz3jl, z3
 
+using GMP_jll
 using libcxxwrap_julia_jll
+using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.8")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()
-    JLLWrappers.@generate_init_header(libcxxwrap_julia_jll)
+    JLLWrappers.@generate_init_header(GMP_jll, libcxxwrap_julia_jll, CompilerSupportLibraries_jll)
     JLLWrappers.@init_library_product(
         libz3,
         "lib/libz3.so",

diff --git a/src/wrappers/aarch64-linux-gnu-cxx11-julia_version+1.7.0.jl b/src/wrappers/aarch64-linux-gnu-cxx11-julia_version+1.7.0.jl
@@ -1,13 +1,15 @@
 # Autogenerated wrapper script for z3_jll for aarch64-linux-gnu-cxx11-julia_version+1.7.0
 export libz3, libz3jl, z3
 
+using GMP_jll
 using libcxxwrap_julia_jll
+using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.8")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()
-    JLLWrappers.@generate_init_header(libcxxwrap_julia_jll)
+    JLLWrappers.@generate_init_header(GMP_jll, libcxxwrap_julia_jll, CompilerSupportLibraries_jll)
     JLLWrappers.@init_library_product(
         libz3,
         "lib/libz3.so",

diff --git a/src/wrappers/aarch64-linux-gnu-cxx11-julia_version+1.8.0.jl b/src/wrappers/aarch64-linux-gnu-cxx11-julia_version+1.8.0.jl
@@ -1,13 +1,15 @@
 # Autogenerated wrapper script for z3_jll for aarch64-linux-gnu-cxx11-julia_version+1.8.0
 export libz3, libz3jl, z3
 
+using GMP_jll
 using libcxxwrap_julia_jll
+using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.8")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()
-    JLLWrappers.@generate_init_header(libcxxwrap_julia_jll)
+    JLLWrappers.@generate_init_header(GMP_jll, libcxxwrap_julia_jll, CompilerSupportLibraries_jll)
     JLLWrappers.@init_library_product(
         libz3,
         "lib/libz3.so",

diff --git a/src/wrappers/aarch64-linux-gnu-cxx11-julia_version+1.9.0.jl b/src/wrappers/aarch64-linux-gnu-cxx11-julia_version+1.9.0.jl
@@ -1,13 +1,15 @@
 # Autogenerated wrapper script for z3_jll for aarch64-linux-gnu-cxx11-julia_version+1.9.0
 export libz3, libz3jl, z3
 
+using GMP_jll
 using libcxxwrap_julia_jll
+using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.8")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()
-    JLLWrappers.@generate_init_header(libcxxwrap_julia_jll)
+    JLLWrappers.@generate_init_header(GMP_jll, libcxxwrap_julia_jll, CompilerSupportLibraries_jll)
     JLLWrappers.@init_library_product(
         libz3,
         "lib/libz3.so",

diff --git a/src/wrappers/aarch64-linux-musl-cxx03-julia_version+1.6.3.jl b/src/wrappers/aarch64-linux-musl-cxx03-julia_version+1.6.3.jl
@@ -1,13 +1,15 @@
 # Autogenerated wrapper script for z3_jll for aarch64-linux-musl-cxx03-julia_version+1.6.3
 export libz3, libz3jl, z3
 
+using GMP_jll
 using libcxxwrap_julia_jll
+using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.8")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()
-    JLLWrappers.@generate_init_header(libcxxwrap_julia_jll)
+    JLLWrappers.@generate_init_header(GMP_jll, libcxxwrap_julia_jll, CompilerSupportLibraries_jll)
     JLLWrappers.@init_library_product(
         libz3,
         "lib/libz3.so",

diff --git a/src/wrappers/aarch64-linux-musl-cxx03-julia_version+1.7.0.jl b/src/wrappers/aarch64-linux-musl-cxx03-julia_version+1.7.0.jl
@@ -1,13 +1,15 @@
 # Autogenerated wrapper script for z3_jll for aarch64-linux-musl-cxx03-julia_version+1.7.0
 export libz3, libz3jl, z3
 
+using GMP_jll
 using libcxxwrap_julia_jll
+using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.8")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()
-    JLLWrappers.@generate_init_header(libcxxwrap_julia_jll)
+    JLLWrappers.@generate_init_header(GMP_jll, libcxxwrap_julia_jll, CompilerSupportLibraries_jll)
     JLLWrappers.@init_library_product(
         libz3,
         "lib/libz3.so",

diff --git a/src/wrappers/aarch64-linux-musl-cxx03-julia_version+1.8.0.jl b/src/wrappers/aarch64-linux-musl-cxx03-julia_version+1.8.0.jl
@@ -1,13 +1,15 @@
 # Autogenerated wrapper script for z3_jll for aarch64-linux-musl-cxx03-julia_version+1.8.0
 export libz3, libz3jl, z3
 
+using GMP_jll
 using libcxxwrap_julia_jll
+using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.8")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()
-    JLLWrappers.@generate_init_header(libcxxwrap_julia_jll)
+    JLLWrappers.@generate_init_header(GMP_jll, libcxxwrap_julia_jll, CompilerSupportLibraries_jll)
     JLLWrappers.@init_library_product(
         libz3,
         "lib/libz3.so",

diff --git a/src/wrappers/aarch64-linux-musl-cxx03-julia_version+1.9.0.jl b/src/wrappers/aarch64-linux-musl-cxx03-julia_version+1.9.0.jl
@@ -1,13 +1,15 @@
 # Autogenerated wrapper script for z3_jll for aarch64-linux-musl-cxx03-julia_version+1.9.0
 export libz3, libz3jl, z3
 
+using GMP_jll
 using libcxxwrap_julia_jll
+using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.8")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()
-    JLLWrappers.@generate_init_header(libcxxwrap_julia_jll)
+    JLLWrappers.@generate_init_header(GMP_jll, libcxxwrap_julia_jll, CompilerSupportLibraries_jll)
     JLLWrappers.@init_library_product(
         libz3,
         "lib/libz3.so",

diff --git a/src/wrappers/aarch64-linux-musl-cxx11-julia_version+1.6.3.jl b/src/wrappers/aarch64-linux-musl-cxx11-julia_version+1.6.3.jl
@@ -1,13 +1,15 @@
 # Autogenerated wrapper script for z3_jll for aarch64-linux-musl-cxx11-julia_version+1.6.3
 export libz3, libz3jl, z3
 
+using GMP_jll
 using libcxxwrap_julia_jll
+using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.8")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()
-    JLLWrappers.@generate_init_header(libcxxwrap_julia_jll)
+    JLLWrappers.@generate_init_header(GMP_jll, libcxxwrap_julia_jll, CompilerSupportLibraries_jll)
     JLLWrappers.@init_library_product(
         libz3,
         "lib/libz3.so",

diff --git a/src/wrappers/aarch64-linux-musl-cxx11-julia_version+1.7.0.jl b/src/wrappers/aarch64-linux-musl-cxx11-julia_version+1.7.0.jl
@@ -1,13 +1,15 @@
 # Autogenerated wrapper script for z3_jll for aarch64-linux-musl-cxx11-julia_version+1.7.0
 export libz3, libz3jl, z3
 
+using GMP_jll
 using libcxxwrap_julia_jll
+using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.8")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()
-    JLLWrappers.@generate_init_header(libcxxwrap_julia_jll)
+    JLLWrappers.@generate_init_header(GMP_jll, libcxxwrap_julia_jll, CompilerSupportLibraries_jll)
     JLLWrappers.@init_library_product(
         libz3,
         "lib/libz3.so",