From 3ef5c9d0cd51babb7c4ec2d7bb76d0cb7e47a65c Mon Sep 17 00:00:00 2001 From: Martin Nowack Date: Thu, 23 Feb 2023 21:47:53 +0000 Subject: [cmake] Use LLVM's CMake functionality only LLVM became more complex, use LLVM's CMake functionality directly instead of replicating this behaviour in KLEE's build system. Use the correct build flags provided by LLVM itself. This is influenced by the way LLVM is built in the first place. Remove older CMake support (< 3.0). --- test/CMakeLists.txt | 12 ++++-------- 1 file changed, 4 insertions(+), 8 deletions(-) (limited to 'test') diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt index 6a625935..226eb08a 100644 --- a/test/CMakeLists.txt +++ b/test/CMakeLists.txt @@ -96,10 +96,8 @@ if (DOWNLOAD_FILECHECK_SOURCE) add_executable(FileCheck ${FILECHECK_SRC_FILE} ) - klee_get_llvm_libs(FILECHECK_NEEDED_LIBS Support) - target_include_directories(FileCheck PRIVATE ${KLEE_COMPONENT_EXTRA_INCLUDE_DIRS}) - target_compile_options(FileCheck PRIVATE ${KLEE_COMPONENT_CXX_FLAGS}) - target_compile_definitions(FileCheck PRIVATE ${KLEE_COMPONENT_CXX_DEFINES}) + llvm_map_components_to_libnames(FILECHECK_NEEDED_LIBS support) + target_include_directories(FileCheck PRIVATE ${LLVM_INCLUDE_DIRS}) target_link_libraries(FileCheck PRIVATE ${FILECHECK_NEEDED_LIBS}) endif() @@ -119,10 +117,8 @@ if (DOWNLOAD_NOT_SOURCE) add_executable("not" ${NOT_SRC_FILE} ) - klee_get_llvm_libs(NOT_NEEDED_LIBS Support) - target_include_directories("not" PRIVATE ${KLEE_COMPONENT_EXTRA_INCLUDE_DIRS}) - target_compile_options("not" PRIVATE ${KLEE_COMPONENT_CXX_FLAGS}) - target_compile_definitions("not" PRIVATE ${KLEE_COMPONENT_CXX_DEFINES}) + llvm_map_components_to_libnames(NOT_NEEDED_LIBS support) + target_include_directories("not" PRIVATE ${LLVM_INCLUDE_DIRS}) target_link_libraries("not" PRIVATE ${NOT_NEEDED_LIBS}) endif() -- cgit 1.4.1