fix(rpm): require z3 runtime for package checks

Signed-off-by: Piotr Mlocek <pmlocek@nvidia.com>

Author: pimlock

.github/workflows/rpm-package.yml

@@ -56,7 +56,7 @@ jobs:
           dnf install -y \
             packit rpm-build \
             rust cargo gcc gcc-c++ make cmake pkg-config \
-            clang-devel z3-devel systemd-rpm-macros \
+            clang-devel z3-libs z3-devel systemd-rpm-macros \
             pandoc python3-devel git-core \
             cargo-rpm-macros
 

openshell.spec

@@ -44,6 +44,7 @@ BuildRequires:  make
 BuildRequires:  cmake
 BuildRequires:  pkg-config
 BuildRequires:  clang-devel
+BuildRequires:  z3-libs
 BuildRequires:  z3-devel
 BuildRequires:  systemd-rpm-macros
 

python/openshell/release_formula_test.py

@@ -118,6 +118,8 @@ def test_rpm_spec_uses_gateway_defaults_without_config_helper() -> None:
     repo_root = Path(__file__).resolve().parents[2]
     spec = (repo_root / "openshell.spec").read_text(encoding="utf-8")
 
+    assert "BuildRequires:  z3-libs" in spec
+    assert "Requires:       z3-libs" in spec
     assert "init-gateway-config.sh" not in spec
     assert "init-pki.sh" not in spec
     assert "Environment=OPENSHELL_LOCAL_TLS_DIR=%%h/.local/state/openshell/tls" in spec