[llvm] Bump Z3 version from 4.7.1 to 4.8.9 (PR #96682)
Balazs Benics via llvm-commits
llvm-commits at lists.llvm.org
Tue Jun 25 12:14:41 PDT 2024
https://github.com/steakhal created https://github.com/llvm/llvm-project/pull/96682
https://discourse.llvm.org/t/bump-minimal-z3-requirements-from-4-7-1-to-4-8-9/79664
This supposed to unblock #95128 and #95129.
>From d1ae4eb752762d0c01de69b15adabe624178cd54 Mon Sep 17 00:00:00 2001
From: Balazs Benics <benicsbalazs at gmail.com>
Date: Tue, 25 Jun 2024 21:07:51 +0200
Subject: [PATCH] Bump Z3 version from 4.7.1 to 4.8.9
https://discourse.llvm.org/t/bump-minimal-z3-requirements-from-4-7-1-to-4-8-9/79664
---
llvm/CMakeLists.txt | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/llvm/CMakeLists.txt b/llvm/CMakeLists.txt
index 3208147101c0d..45e57eff2cac2 100644
--- a/llvm/CMakeLists.txt
+++ b/llvm/CMakeLists.txt
@@ -572,11 +572,11 @@ option(LLVM_ENABLE_Z3_SOLVER
)
if (LLVM_ENABLE_Z3_SOLVER)
- find_package(Z3 4.7.1)
+ find_package(Z3 4.8.9)
if (LLVM_Z3_INSTALL_DIR)
if (NOT Z3_FOUND)
- message(FATAL_ERROR "Z3 >= 4.7.1 has not been found in LLVM_Z3_INSTALL_DIR: ${LLVM_Z3_INSTALL_DIR}.")
+ message(FATAL_ERROR "Z3 >= 4.8.9 has not been found in LLVM_Z3_INSTALL_DIR: ${LLVM_Z3_INSTALL_DIR}.")
endif()
endif()
More information about the llvm-commits
mailing list