diff --git a/CMakeLists.txt b/CMakeLists.txt index 3d283d858..df2685e9e 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -150,7 +150,7 @@ if(Z3_INTERFACE) find_package(Z3 REQUIRED) message(STATUS "Z3 version: ${Z3_VERSION}") if(TARGET z3::libz3) - target_link_libraries(z3::libz3) + link_libraries(z3::libz3) elseif(DEFINED Z3_INCLUDE_DIRS) include_directories(${Z3_INCLUDE_DIRS}) else() @@ -164,7 +164,7 @@ if(BITWUZLA_INTERFACE) message(STATUS "Compiling with Bitwuzla SMT solver") find_package(BITWUZLA REQUIRED) if(TARGET Bitwuzla::bitwuzla) - target_link_libraries(Bitwuzla::bitwuzla) + link_libraries(Bitwuzla::bitwuzla) elseif(DEFINED BITWUZLA_INCLUDE_DIRS) include_directories(${BITWUZLA_INCLUDE_DIRS}) else() @@ -195,7 +195,7 @@ message(STATUS "Compiling with Capstone") find_package(CAPSTONE REQUIRED) message(STATUS "CAPSTONE version: ${CAPSTONE_VERSION}") if(TARGET capstone::capstone) - target_link_libraries(capstone::capstone) + link_libraries(capstone::capstone) elseif(DEFINED CAPSTONE_INCLUDE_DIRS) include_directories(${CAPSTONE_INCLUDE_DIRS}) else()