From d66f9c4f1e83e69abf75f97cb5f8fd1dc9422357 Mon Sep 17 00:00:00 2001 From: Bjorn Pettersson Date: Sat, 3 Apr 2021 12:25:37 +0200 Subject: [PATCH] Fix build rules for LLVM_WITH_Z3 after D95727 Started to see build errors like this ../lib/Support/Z3Solver.cpp:19:10: fatal error: 'z3.h' file not found #include ^~~~~~ 1 error generated. after commit 43ceb74eb1a5801662419fb66a6bf0d5414f1ec5. The -isystem path to the Z3_INCLUDE_DIR wen't missing in the compile commands. No idea why target_include_directories stopped working with that commit, but using include_directories seem to work better. --- llvm/lib/Support/CMakeLists.txt | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/llvm/lib/Support/CMakeLists.txt b/llvm/lib/Support/CMakeLists.txt index ddacb4feaa0f..36919b25b0ef 100644 --- a/llvm/lib/Support/CMakeLists.txt +++ b/llvm/lib/Support/CMakeLists.txt @@ -274,8 +274,5 @@ if(LLVM_INTEGRATED_CRT_ALLOC) endif() if(LLVM_WITH_Z3) - target_include_directories(LLVMSupport SYSTEM - PRIVATE - ${Z3_INCLUDE_DIR} - ) + include_directories(SYSTEM ${Z3_INCLUDE_DIR}) endif()