[llvm] b7762f2 - Bump required minimal Z3 version from 4.7.1 to 4.8.9 (#96682)

via llvm-commits llvm-commits at lists.llvm.org
Wed Jun 26 08:53:20 PDT 2024


Author: Balazs Benics
Date: 2024-06-26T17:53:16+02:00
New Revision: b7762f2e64af34506447b56eea7bdbabd8568718

URL: https://github.com/llvm/llvm-project/commit/b7762f2e64af34506447b56eea7bdbabd8568718
DIFF: https://github.com/llvm/llvm-project/commit/b7762f2e64af34506447b56eea7bdbabd8568718.diff

LOG: Bump required minimal Z3 version from 4.7.1 to 4.8.9 (#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.

Added: 
    

Modified: 
    llvm/CMakeLists.txt

Removed: 
    


################################################################################
diff  --git a/llvm/CMakeLists.txt b/llvm/CMakeLists.txt
index 33d5190a05389..91a2b6181ce0a 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