z3_jll build 4.8.14+0

.gitignore

@@ -0,0 +1 @@
+override/

LICENSE

@@ -0,0 +1,29 @@
+The Julia source code within this repository (all files under `src/`) are
+released under the terms of the MIT "Expat" License, the text of which is
+included below.  This license does not apply to the binary package wrapped by
+this Julia package and automatically downloaded by the Julia package manager
+upon installing this wrapper package.  The binary package's license is shipped
+alongside the binary itself and can be found within the
+`share/licenses/z3` directory within its prefix.
+
+MIT License
+
+Copyright (c) 2022
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

Project.toml

@@ -1,11 +1,14 @@
 name = "z3_jll"
 uuid = "1bc4e1ec-7839-5212-8f2f-0d16b7bd09bc"
-version = "4.8.8+0"
+version = "4.8.14+0"
 
 [deps]
+JLLWrappers = "692b3bcd-3c85-4b1f-b108-f13ce0eb3210"
 Pkg = "44cfe95a-1eb2-52ea-b672-e2afdf69b78f"
 libcxxwrap_julia_jll = "3eaa8342-bff7-56a5-9981-c04077f7cee7"
 Libdl = "8f399da3-3557-5675-b5ff-fb832c97cbdb"
+Artifacts = "56f22d72-fd6d-98f1-02f0-08ddc0907c33"
 
 [compat]
-julia = "1.0"
+JLLWrappers = "1.2.0"
+julia = "1.6"

src/wrappers/aarch64-apple-darwin-julia_version+1.7.0.jl

@@ -0,0 +1,29 @@
+# Autogenerated wrapper script for z3_jll for aarch64-apple-darwin-julia_version+1.7.0
+export libz3, libz3jl, z3
+
+using libcxxwrap_julia_jll
+JLLWrappers.@generate_wrapper_header("z3")
+JLLWrappers.@declare_library_product(libz3, "@rpath/libz3.4.8.dylib")
+JLLWrappers.@declare_library_product(libz3jl, "@rpath/libz3jl.dylib")
+JLLWrappers.@declare_executable_product(z3)
+function __init__()
+    JLLWrappers.@generate_init_header(libcxxwrap_julia_jll)
+    JLLWrappers.@init_library_product(
+        libz3,
+        "lib/libz3.4.8.dylib",
+        RTLD_LAZY | RTLD_DEEPBIND,
+    )
+
+    JLLWrappers.@init_library_product(
+        libz3jl,
+        "lib/libz3jl.dylib",
+        RTLD_LAZY | RTLD_DEEPBIND,
+    )
+
+    JLLWrappers.@init_executable_product(
+        z3,
+        "bin/z3",
+    )
+
+    JLLWrappers.@generate_init_footer()
+end  # __init__()

src/wrappers/aarch64-apple-darwin-julia_version+1.8.0.jl

@@ -0,0 +1,29 @@
+# Autogenerated wrapper script for z3_jll for aarch64-apple-darwin-julia_version+1.8.0
+export libz3, libz3jl, z3
+
+using libcxxwrap_julia_jll
+JLLWrappers.@generate_wrapper_header("z3")
+JLLWrappers.@declare_library_product(libz3, "@rpath/libz3.4.8.dylib")
+JLLWrappers.@declare_library_product(libz3jl, "@rpath/libz3jl.dylib")
+JLLWrappers.@declare_executable_product(z3)
+function __init__()
+    JLLWrappers.@generate_init_header(libcxxwrap_julia_jll)
+    JLLWrappers.@init_library_product(
+        libz3,
+        "lib/libz3.4.8.dylib",
+        RTLD_LAZY | RTLD_DEEPBIND,
+    )
+
+    JLLWrappers.@init_library_product(
+        libz3jl,
+        "lib/libz3jl.dylib",
+        RTLD_LAZY | RTLD_DEEPBIND,
+    )
+
+    JLLWrappers.@init_executable_product(
+        z3,
+        "bin/z3",
+    )
+
+    JLLWrappers.@generate_init_footer()
+end  # __init__()

src/wrappers/aarch64-apple-darwin-julia_version+1.9.0.jl

@@ -0,0 +1,29 @@
+# Autogenerated wrapper script for z3_jll for aarch64-apple-darwin-julia_version+1.9.0
+export libz3, libz3jl, z3
+
+using libcxxwrap_julia_jll
+JLLWrappers.@generate_wrapper_header("z3")
+JLLWrappers.@declare_library_product(libz3, "@rpath/libz3.4.8.dylib")
+JLLWrappers.@declare_library_product(libz3jl, "@rpath/libz3jl.dylib")
+JLLWrappers.@declare_executable_product(z3)
+function __init__()
+    JLLWrappers.@generate_init_header(libcxxwrap_julia_jll)
+    JLLWrappers.@init_library_product(
+        libz3,
+        "lib/libz3.4.8.dylib",
+        RTLD_LAZY | RTLD_DEEPBIND,
+    )
+
+    JLLWrappers.@init_library_product(
+        libz3jl,
+        "lib/libz3jl.dylib",
+        RTLD_LAZY | RTLD_DEEPBIND,
+    )
+
+    JLLWrappers.@init_executable_product(
+        z3,
+        "bin/z3",
+    )
+
+    JLLWrappers.@generate_init_footer()
+end  # __init__()

src/wrappers/aarch64-linux-gnu-cxx03-julia_version+1.6.3.jl

@@ -0,0 +1,29 @@
+# Autogenerated wrapper script for z3_jll for aarch64-linux-gnu-cxx03-julia_version+1.6.3
+export libz3, libz3jl, z3
+
+using libcxxwrap_julia_jll
+JLLWrappers.@generate_wrapper_header("z3")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.8")
+JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
+JLLWrappers.@declare_executable_product(z3)
+function __init__()
+    JLLWrappers.@generate_init_header(libcxxwrap_julia_jll)
+    JLLWrappers.@init_library_product(
+        libz3,
+        "lib/libz3.so",
+        RTLD_LAZY | RTLD_DEEPBIND,
+    )
+
+    JLLWrappers.@init_library_product(
+        libz3jl,
+        "lib/libz3jl.so",
+        RTLD_LAZY | RTLD_DEEPBIND,
+    )
+
+    JLLWrappers.@init_executable_product(
+        z3,
+        "bin/z3",
+    )
+
+    JLLWrappers.@generate_init_footer()
+end  # __init__()

src/wrappers/aarch64-linux-gnu-cxx03-julia_version+1.7.0.jl

@@ -0,0 +1,29 @@
+# Autogenerated wrapper script for z3_jll for aarch64-linux-gnu-cxx03-julia_version+1.7.0
+export libz3, libz3jl, z3
+
+using libcxxwrap_julia_jll
+JLLWrappers.@generate_wrapper_header("z3")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.8")
+JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
+JLLWrappers.@declare_executable_product(z3)
+function __init__()
+    JLLWrappers.@generate_init_header(libcxxwrap_julia_jll)
+    JLLWrappers.@init_library_product(
+        libz3,
+        "lib/libz3.so",
+        RTLD_LAZY | RTLD_DEEPBIND,
+    )
+
+    JLLWrappers.@init_library_product(
+        libz3jl,
+        "lib/libz3jl.so",
+        RTLD_LAZY | RTLD_DEEPBIND,
+    )
+
+    JLLWrappers.@init_executable_product(
+        z3,
+        "bin/z3",
+    )
+
+    JLLWrappers.@generate_init_footer()
+end  # __init__()

src/wrappers/aarch64-linux-gnu-cxx03-julia_version+1.8.0.jl

@@ -0,0 +1,29 @@
+# Autogenerated wrapper script for z3_jll for aarch64-linux-gnu-cxx03-julia_version+1.8.0
+export libz3, libz3jl, z3
+
+using libcxxwrap_julia_jll
+JLLWrappers.@generate_wrapper_header("z3")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.8")
+JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
+JLLWrappers.@declare_executable_product(z3)
+function __init__()
+    JLLWrappers.@generate_init_header(libcxxwrap_julia_jll)
+    JLLWrappers.@init_library_product(
+        libz3,
+        "lib/libz3.so",
+        RTLD_LAZY | RTLD_DEEPBIND,
+    )
+
+    JLLWrappers.@init_library_product(
+        libz3jl,
+        "lib/libz3jl.so",
+        RTLD_LAZY | RTLD_DEEPBIND,
+    )
+
+    JLLWrappers.@init_executable_product(
+        z3,
+        "bin/z3",
+    )
+
+    JLLWrappers.@generate_init_footer()
+end  # __init__()

src/wrappers/aarch64-linux-gnu-cxx03-julia_version+1.9.0.jl

@@ -0,0 +1,29 @@
+# Autogenerated wrapper script for z3_jll for aarch64-linux-gnu-cxx03-julia_version+1.9.0
+export libz3, libz3jl, z3
+
+using libcxxwrap_julia_jll
+JLLWrappers.@generate_wrapper_header("z3")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.8")
+JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
+JLLWrappers.@declare_executable_product(z3)
+function __init__()
+    JLLWrappers.@generate_init_header(libcxxwrap_julia_jll)
+    JLLWrappers.@init_library_product(
+        libz3,
+        "lib/libz3.so",
+        RTLD_LAZY | RTLD_DEEPBIND,
+    )
+
+    JLLWrappers.@init_library_product(
+        libz3jl,
+        "lib/libz3jl.so",
+        RTLD_LAZY | RTLD_DEEPBIND,
+    )
+
+    JLLWrappers.@init_executable_product(
+        z3,
+        "bin/z3",
+    )
+
+    JLLWrappers.@generate_init_footer()
+end  # __init__()

src/wrappers/aarch64-linux-gnu-cxx11-julia_version+1.6.3.jl

@@ -0,0 +1,29 @@
+# Autogenerated wrapper script for z3_jll for aarch64-linux-gnu-cxx11-julia_version+1.6.3
+export libz3, libz3jl, z3
+
+using libcxxwrap_julia_jll
+JLLWrappers.@generate_wrapper_header("z3")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.8")
+JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
+JLLWrappers.@declare_executable_product(z3)
+function __init__()
+    JLLWrappers.@generate_init_header(libcxxwrap_julia_jll)
+    JLLWrappers.@init_library_product(
+        libz3,
+        "lib/libz3.so",
+        RTLD_LAZY | RTLD_DEEPBIND,
+    )
+
+    JLLWrappers.@init_library_product(
+        libz3jl,
+        "lib/libz3jl.so",
+        RTLD_LAZY | RTLD_DEEPBIND,
+    )
+
+    JLLWrappers.@init_executable_product(
+        z3,
+        "bin/z3",
+    )
+
+    JLLWrappers.@generate_init_footer()
+end  # __init__()