z3_jll build 4.8.8+0

Project.toml

@@ -1,9 +1,10 @@
 name = "z3_jll"
 uuid = "1bc4e1ec-7839-5212-8f2f-0d16b7bd09bc"
-version = "4.8.7+0"
+version = "4.8.8+0"
 
 [deps]
 Pkg = "44cfe95a-1eb2-52ea-b672-e2afdf69b78f"
+libcxxwrap_julia_jll = "3eaa8342-bff7-56a5-9981-c04077f7cee7"
 Libdl = "8f399da3-3557-5675-b5ff-fb832c97cbdb"
 
 [compat]

README.md

@@ -2,14 +2,16 @@
 
 This is an autogenerated package constructed using [`BinaryBuilder.jl`](https://github.com/JuliaPackaging/BinaryBuilder.jl).
 
+For more details about JLL packages, see `BinaryBuilder.jl` [documentation](https://juliapackaging.github.io/BinaryBuilder.jl/dev/jll/).
+
 ## Products
 
 The code bindings within this package are autogenerated from the following `Products` defined within the `build_tarballs.jl` file that generated this package:
 
 ```julia
 products = [
-    ExecutableProduct(["z3"], :z3),
-    LibraryProduct(["libz3"], :libz3)
+    LibraryProduct(["libz3"], :libz3),
+    ExecutableProduct(["z3"], :z3)
 ]
 ```
 

src/wrappers/aarch64-linux-gnu-cxx03.jl

@@ -1,10 +1,26 @@
 # Autogenerated wrapper script for z3_jll for aarch64-linux-gnu-cxx03
-export z3, libz3
+export libz3, z3
 
+using libcxxwrap_julia_jll
 ## Global variables
 PATH = ""
 LIBPATH = ""
 LIBPATH_env = "LD_LIBRARY_PATH"
+LIBPATH_default = ""
+
+# Relative path to `libz3`
+const libz3_splitpath = ["lib", "libz3.so"]
+
+# This will be filled out by __init__() for all products, as it must be done at runtime
+libz3_path = ""
+
+# libz3-specific global declaration
+# This will be filled out by __init__()
+libz3_handle = C_NULL
+
+# This must be `const` so that we can use it with `ccall()`
+const libz3 = "libz3.so.4.8"
+
 
 # Relative path to `z3`
 const z3_splitpath = ["bin", "z3"]
@@ -24,8 +40,9 @@ function z3(f::Function; adjust_PATH::Bool = true, adjust_LIBPATH::Bool = true)
         end
     end
     if adjust_LIBPATH
-        if !isempty(get(ENV, LIBPATH_env, ""))
-            env_mapping[LIBPATH_env] = string(LIBPATH, ':', ENV[LIBPATH_env])
+        LIBPATH_base = get(ENV, LIBPATH_env, expanduser(LIBPATH_default))
+        if !isempty(LIBPATH_base)
+            env_mapping[LIBPATH_env] = string(LIBPATH, ':', LIBPATH_base)
         else
             env_mapping[LIBPATH_env] = LIBPATH
         end
@@ -36,20 +53,6 @@ function z3(f::Function; adjust_PATH::Bool = true, adjust_LIBPATH::Bool = true)
 end
 
 
-# Relative path to `libz3`
-const libz3_splitpath = ["lib", "libz3.so"]
-
-# This will be filled out by __init__() for all products, as it must be done at runtime
-libz3_path = ""
-
-# libz3-specific global declaration
-# This will be filled out by __init__()
-libz3_handle = C_NULL
-
-# This must be `const` so that we can use it with `ccall()`
-const libz3 = "libz3.so.4.8"
-
-
 """
 Open all libraries
 """
@@ -60,16 +63,21 @@ function __init__()
     global PATH_list, LIBPATH_list
     # We first need to add to LIBPATH_list the libraries provided by Julia
     append!(LIBPATH_list, [joinpath(Sys.BINDIR, Base.LIBDIR, "julia"), joinpath(Sys.BINDIR, Base.LIBDIR)])
-    global z3_path = normpath(joinpath(artifact_dir, z3_splitpath...))
+    # From the list of our dependencies, generate a tuple of all the PATH and LIBPATH lists,
+    # then append them to our own.
+    foreach(p -> append!(PATH_list, p), (libcxxwrap_julia_jll.PATH_list,))
+    foreach(p -> append!(LIBPATH_list, p), (libcxxwrap_julia_jll.LIBPATH_list,))
 
-    push!(PATH_list, dirname(z3_path))
     global libz3_path = normpath(joinpath(artifact_dir, libz3_splitpath...))
 
     # Manually `dlopen()` this right now so that future invocations
     # of `ccall` with its `SONAME` will find this path immediately.
     global libz3_handle = dlopen(libz3_path)
     push!(LIBPATH_list, dirname(libz3_path))
 
+    global z3_path = normpath(joinpath(artifact_dir, z3_splitpath...))
+
+    push!(PATH_list, dirname(z3_path))
     # Filter out duplicate and empty entries in our PATH and LIBPATH entries
     filter!(!isempty, unique!(PATH_list))
     filter!(!isempty, unique!(LIBPATH_list))

src/wrappers/aarch64-linux-gnu-cxx11.jl

@@ -1,10 +1,26 @@
 # Autogenerated wrapper script for z3_jll for aarch64-linux-gnu-cxx11
-export z3, libz3
+export libz3, z3
 
+using libcxxwrap_julia_jll
 ## Global variables
 PATH = ""
 LIBPATH = ""
 LIBPATH_env = "LD_LIBRARY_PATH"
+LIBPATH_default = ""
+
+# Relative path to `libz3`
+const libz3_splitpath = ["lib", "libz3.so"]
+
+# This will be filled out by __init__() for all products, as it must be done at runtime
+libz3_path = ""
+
+# libz3-specific global declaration
+# This will be filled out by __init__()
+libz3_handle = C_NULL
+
+# This must be `const` so that we can use it with `ccall()`
+const libz3 = "libz3.so.4.8"
+
 
 # Relative path to `z3`
 const z3_splitpath = ["bin", "z3"]
@@ -24,8 +40,9 @@ function z3(f::Function; adjust_PATH::Bool = true, adjust_LIBPATH::Bool = true)
         end
     end
     if adjust_LIBPATH
-        if !isempty(get(ENV, LIBPATH_env, ""))
-            env_mapping[LIBPATH_env] = string(LIBPATH, ':', ENV[LIBPATH_env])
+        LIBPATH_base = get(ENV, LIBPATH_env, expanduser(LIBPATH_default))
+        if !isempty(LIBPATH_base)
+            env_mapping[LIBPATH_env] = string(LIBPATH, ':', LIBPATH_base)
         else
             env_mapping[LIBPATH_env] = LIBPATH
         end
@@ -36,20 +53,6 @@ function z3(f::Function; adjust_PATH::Bool = true, adjust_LIBPATH::Bool = true)
 end
 
 
-# Relative path to `libz3`
-const libz3_splitpath = ["lib", "libz3.so"]
-
-# This will be filled out by __init__() for all products, as it must be done at runtime
-libz3_path = ""
-
-# libz3-specific global declaration
-# This will be filled out by __init__()
-libz3_handle = C_NULL
-
-# This must be `const` so that we can use it with `ccall()`
-const libz3 = "libz3.so.4.8"
-
-
 """
 Open all libraries
 """
@@ -60,16 +63,21 @@ function __init__()
     global PATH_list, LIBPATH_list
     # We first need to add to LIBPATH_list the libraries provided by Julia
     append!(LIBPATH_list, [joinpath(Sys.BINDIR, Base.LIBDIR, "julia"), joinpath(Sys.BINDIR, Base.LIBDIR)])
-    global z3_path = normpath(joinpath(artifact_dir, z3_splitpath...))
+    # From the list of our dependencies, generate a tuple of all the PATH and LIBPATH lists,
+    # then append them to our own.
+    foreach(p -> append!(PATH_list, p), (libcxxwrap_julia_jll.PATH_list,))
+    foreach(p -> append!(LIBPATH_list, p), (libcxxwrap_julia_jll.LIBPATH_list,))
 
-    push!(PATH_list, dirname(z3_path))
     global libz3_path = normpath(joinpath(artifact_dir, libz3_splitpath...))
 
     # Manually `dlopen()` this right now so that future invocations
     # of `ccall` with its `SONAME` will find this path immediately.
     global libz3_handle = dlopen(libz3_path)
     push!(LIBPATH_list, dirname(libz3_path))
 
+    global z3_path = normpath(joinpath(artifact_dir, z3_splitpath...))
+
+    push!(PATH_list, dirname(z3_path))
     # Filter out duplicate and empty entries in our PATH and LIBPATH entries
     filter!(!isempty, unique!(PATH_list))
     filter!(!isempty, unique!(LIBPATH_list))

src/wrappers/aarch64-linux-musl-cxx03.jl

@@ -1,10 +1,26 @@
 # Autogenerated wrapper script for z3_jll for aarch64-linux-musl-cxx03
-export z3, libz3
+export libz3, z3
 
+using libcxxwrap_julia_jll
 ## Global variables
 PATH = ""
 LIBPATH = ""
 LIBPATH_env = "LD_LIBRARY_PATH"
+LIBPATH_default = ""
+
+# Relative path to `libz3`
+const libz3_splitpath = ["lib", "libz3.so"]
+
+# This will be filled out by __init__() for all products, as it must be done at runtime
+libz3_path = ""
+
+# libz3-specific global declaration
+# This will be filled out by __init__()
+libz3_handle = C_NULL
+
+# This must be `const` so that we can use it with `ccall()`
+const libz3 = "libz3.so.4.8"
+
 
 # Relative path to `z3`
 const z3_splitpath = ["bin", "z3"]
@@ -24,8 +40,9 @@ function z3(f::Function; adjust_PATH::Bool = true, adjust_LIBPATH::Bool = true)
         end
     end
     if adjust_LIBPATH
-        if !isempty(get(ENV, LIBPATH_env, ""))
-            env_mapping[LIBPATH_env] = string(LIBPATH, ':', ENV[LIBPATH_env])
+        LIBPATH_base = get(ENV, LIBPATH_env, expanduser(LIBPATH_default))
+        if !isempty(LIBPATH_base)
+            env_mapping[LIBPATH_env] = string(LIBPATH, ':', LIBPATH_base)
         else
             env_mapping[LIBPATH_env] = LIBPATH
         end
@@ -36,20 +53,6 @@ function z3(f::Function; adjust_PATH::Bool = true, adjust_LIBPATH::Bool = true)
 end
 
 
-# Relative path to `libz3`
-const libz3_splitpath = ["lib", "libz3.so"]
-
-# This will be filled out by __init__() for all products, as it must be done at runtime
-libz3_path = ""
-
-# libz3-specific global declaration
-# This will be filled out by __init__()
-libz3_handle = C_NULL
-
-# This must be `const` so that we can use it with `ccall()`
-const libz3 = "libz3.so.4.8"
-
-
 """
 Open all libraries
 """
@@ -60,16 +63,21 @@ function __init__()
     global PATH_list, LIBPATH_list
     # We first need to add to LIBPATH_list the libraries provided by Julia
     append!(LIBPATH_list, [joinpath(Sys.BINDIR, Base.LIBDIR, "julia"), joinpath(Sys.BINDIR, Base.LIBDIR)])
-    global z3_path = normpath(joinpath(artifact_dir, z3_splitpath...))
+    # From the list of our dependencies, generate a tuple of all the PATH and LIBPATH lists,
+    # then append them to our own.
+    foreach(p -> append!(PATH_list, p), (libcxxwrap_julia_jll.PATH_list,))
+    foreach(p -> append!(LIBPATH_list, p), (libcxxwrap_julia_jll.LIBPATH_list,))
 
-    push!(PATH_list, dirname(z3_path))
     global libz3_path = normpath(joinpath(artifact_dir, libz3_splitpath...))
 
     # Manually `dlopen()` this right now so that future invocations
     # of `ccall` with its `SONAME` will find this path immediately.
     global libz3_handle = dlopen(libz3_path)
     push!(LIBPATH_list, dirname(libz3_path))
 
+    global z3_path = normpath(joinpath(artifact_dir, z3_splitpath...))
+
+    push!(PATH_list, dirname(z3_path))
     # Filter out duplicate and empty entries in our PATH and LIBPATH entries
     filter!(!isempty, unique!(PATH_list))
     filter!(!isempty, unique!(LIBPATH_list))

src/wrappers/aarch64-linux-musl-cxx11.jl

@@ -1,10 +1,26 @@
 # Autogenerated wrapper script for z3_jll for aarch64-linux-musl-cxx11
-export z3, libz3
+export libz3, z3
 
+using libcxxwrap_julia_jll
 ## Global variables
 PATH = ""
 LIBPATH = ""
 LIBPATH_env = "LD_LIBRARY_PATH"
+LIBPATH_default = ""
+
+# Relative path to `libz3`
+const libz3_splitpath = ["lib", "libz3.so"]
+
+# This will be filled out by __init__() for all products, as it must be done at runtime
+libz3_path = ""
+
+# libz3-specific global declaration
+# This will be filled out by __init__()
+libz3_handle = C_NULL
+
+# This must be `const` so that we can use it with `ccall()`
+const libz3 = "libz3.so.4.8"
+
 
 # Relative path to `z3`
 const z3_splitpath = ["bin", "z3"]
@@ -24,8 +40,9 @@ function z3(f::Function; adjust_PATH::Bool = true, adjust_LIBPATH::Bool = true)
         end
     end
     if adjust_LIBPATH
-        if !isempty(get(ENV, LIBPATH_env, ""))
-            env_mapping[LIBPATH_env] = string(LIBPATH, ':', ENV[LIBPATH_env])
+        LIBPATH_base = get(ENV, LIBPATH_env, expanduser(LIBPATH_default))
+        if !isempty(LIBPATH_base)
+            env_mapping[LIBPATH_env] = string(LIBPATH, ':', LIBPATH_base)
         else
             env_mapping[LIBPATH_env] = LIBPATH
         end
@@ -36,20 +53,6 @@ function z3(f::Function; adjust_PATH::Bool = true, adjust_LIBPATH::Bool = true)
 end
 
 
-# Relative path to `libz3`
-const libz3_splitpath = ["lib", "libz3.so"]
-
-# This will be filled out by __init__() for all products, as it must be done at runtime
-libz3_path = ""
-
-# libz3-specific global declaration
-# This will be filled out by __init__()
-libz3_handle = C_NULL
-
-# This must be `const` so that we can use it with `ccall()`
-const libz3 = "libz3.so.4.8"
-
-
 """
 Open all libraries
 """
@@ -60,16 +63,21 @@ function __init__()
     global PATH_list, LIBPATH_list
     # We first need to add to LIBPATH_list the libraries provided by Julia
     append!(LIBPATH_list, [joinpath(Sys.BINDIR, Base.LIBDIR, "julia"), joinpath(Sys.BINDIR, Base.LIBDIR)])
-    global z3_path = normpath(joinpath(artifact_dir, z3_splitpath...))
+    # From the list of our dependencies, generate a tuple of all the PATH and LIBPATH lists,
+    # then append them to our own.
+    foreach(p -> append!(PATH_list, p), (libcxxwrap_julia_jll.PATH_list,))
+    foreach(p -> append!(LIBPATH_list, p), (libcxxwrap_julia_jll.LIBPATH_list,))
 
-    push!(PATH_list, dirname(z3_path))
     global libz3_path = normpath(joinpath(artifact_dir, libz3_splitpath...))
 
     # Manually `dlopen()` this right now so that future invocations
     # of `ccall` with its `SONAME` will find this path immediately.
     global libz3_handle = dlopen(libz3_path)
     push!(LIBPATH_list, dirname(libz3_path))
 
+    global z3_path = normpath(joinpath(artifact_dir, z3_splitpath...))
+
+    push!(PATH_list, dirname(z3_path))
     # Filter out duplicate and empty entries in our PATH and LIBPATH entries
     filter!(!isempty, unique!(PATH_list))
     filter!(!isempty, unique!(LIBPATH_list))