From 74d8c0ffa0ab14627e7d466a5a35d4777641ffdd Mon Sep 17 00:00:00 2001
From: Artem Lytvyn <alytvyn@redhat.com>
Date: Mon, 6 Jul 2026 12:45:02 +0100
Subject: [PATCH] docs: add pkg-config to macOS prerequisites

Signed-off-by: Artem Lytvyn <alytvyn@redhat.com>
---
 CONTRIBUTING.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index b78f36522..d2061e101 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -150,11 +150,11 @@ xcode-select --install
 
 ### Z3 installation
 
-The `openshell-prover` crate links against the system Z3 library via pkg-config.
+The `openshell-prover` crate links against the system Z3 library via `pkg-config`.
 
 ```bash
 # macOS
-brew install z3
+brew install z3 pkg-config
 
 # Ubuntu / Debian
 sudo apt install libz3-dev