[llvm] 982396d - Revert "Fix build rules for LLVM_WITH_Z3 after D95727"

Tom Stellard via llvm-commits llvm-commits at lists.llvm.org
Mon Apr 5 10:46:48 PDT 2021


Author: Tom Stellard
Date: 2021-04-05T10:46:19-07:00
New Revision: 982396ddd7df1b359d55809bc9d1aff4ed227c95

URL: https://github.com/llvm/llvm-project/commit/982396ddd7df1b359d55809bc9d1aff4ed227c95
DIFF: https://github.com/llvm/llvm-project/commit/982396ddd7df1b359d55809bc9d1aff4ed227c95.diff

LOG: Revert "Fix build rules for LLVM_WITH_Z3 after D95727"

This reverts commit d66f9c4f1e83e69abf75f97cb5f8fd1dc9422357.

This was a follow up fix for 43ceb74eb1a5801662419fb66a6bf0d5414f1ec5, which
will be reverted.

Added: 
    

Modified: 
    llvm/lib/Support/CMakeLists.txt

Removed: 
    


################################################################################
diff  --git a/llvm/lib/Support/CMakeLists.txt b/llvm/lib/Support/CMakeLists.txt
index 36919b25b0eff..ddacb4feaa0f2 100644
--- a/llvm/lib/Support/CMakeLists.txt
+++ b/llvm/lib/Support/CMakeLists.txt
@@ -274,5 +274,8 @@ if(LLVM_INTEGRATED_CRT_ALLOC)
 endif()
 
 if(LLVM_WITH_Z3)
-  include_directories(SYSTEM ${Z3_INCLUDE_DIR})
+  target_include_directories(LLVMSupport SYSTEM
+    PRIVATE
+    ${Z3_INCLUDE_DIR}
+    )
 endif()


        


More information about the llvm-commits mailing list