z3-static 4.16.0.post1

Static Z3 development artifacts for native build systems

z3-static

z3-static is a Python package that carries native Z3 development artifacts for build systems. It does not provide Z3 Python bindings.

The wheel contains:

• Z3 C and C++ headers.
• A PIC static Z3 library (libz3.a on Unix-like platforms, .lib on Windows).
• Z3 CMake package files under z3_static/static/lib/cmake/z3.
• Z3 pkg-config metadata when upstream install provides it.

Build systems can locate the package from Python:

import z3_static

print(z3_static.get_cmake_dir())

Or from a build script:

python -m z3_static.config --cmake-dir

For CMake projects, pass the reported directory to find_package:

find_package(Python COMPONENTS Interpreter REQUIRED)
execute_process(
  COMMAND "${Python_EXECUTABLE}" -m z3_static.config --cmake-dir
  OUTPUT_STRIP_TRAILING_WHITESPACE
  OUTPUT_VARIABLE Z3_DIR
)
find_package(Z3 CONFIG REQUIRED)

Local Build

Build a wheel from an upstream Z3 tag:

STATICLIB_Z3_TAG=z3-4.16.0 \
STATICLIB_Z3_ALLOW_SOURCE_BUILD=1 \
python -m build --wheel

Use an existing Z3 checkout:

STATICLIB_Z3_TAG=z3-4.16.0 \
STATICLIB_Z3_SOURCE_DIR=/path/to/z3 \
STATICLIB_Z3_ALLOW_SOURCE_BUILD=1 \
python -m build --wheel

Source builds are opt-in to avoid accidental long Z3 builds on unsupported platforms when pip cannot find a matching prebuilt wheel.