From a3bb2f070cc094f37a1e13545eadcec55177c0aa Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 27 Aug 2025 08:44:40 -0700
Subject: [PATCH] Update README-CMake.md

Co-authored-by: gonzalobg <65027571+gonzalobg@users.noreply.github.com>
---
 README-CMake.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/README-CMake.md b/README-CMake.md
index 774aa9c7b..3bf4e6e6b 100644
--- a/README-CMake.md
+++ b/README-CMake.md
@@ -140,7 +140,8 @@ target_link_libraries(yourTarget PRIVATE z3::libz3)
 If you have Z3 installed on your system (e.g., via package manager or by building and installing Z3 yourself), you can use CMake's `find_package` to locate it:
 
 ```cmake
-find_package(Z3 REQUIRED CONFIG)
+set(Z3_MIN_VERSION "4.15.3")
+find_package(Z3 ${Z3_MIN_VERSION} REQUIRED CONFIG)
 ```
 
 Once found, you can link to Z3 using the exported target (recommended):