15 lines
605 B
CMake
15 lines
605 B
CMake
--- cmake/find_z3.cmake.orig 2025-12-23 15:04:53 UTC
|
|
+++ cmake/find_z3.cmake
|
|
@@ -31,11 +31,6 @@ if (ENABLE_SOLVER_Z3)
|
|
message(STATUS "Found Z3")
|
|
set(ENABLE_Z3 1) # For config.h
|
|
|
|
- # Check the signature of `Z3_get_error_msg()`
|
|
- cmake_push_check_state()
|
|
- set(CMAKE_REQUIRED_INCLUDES ${CMAKE_REQUIRED_INCLUDES} ${Z3_INCLUDE_DIRS})
|
|
- set(CMAKE_REQUIRED_LIBRARIES ${CMAKE_REQUIRED_LIBRARIES} ${Z3_LIBRARIES})
|
|
-
|
|
if(CMAKE_SYSTEM_NAME STREQUAL "Darwin")
|
|
string(REPLACE ".so" ".dylib" Z3_LIBRARIES ${Z3_LIBRARIES})
|
|
message(STATUS "New Z3 library path: ${Z3_LIBRARIES}")
|