maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

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 <z3.h>
         ^~~~~~
1 error generated.

after commit 43ceb74eb1.

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.
This commit is contained in:
Bjorn Pettersson 2021-04-03 12:25:37 +02:00
parent b552e16b0b
commit d66f9c4f1e
1 changed files with 1 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
llvm/lib/Support/CMakeLists.txt
View File

@ -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()