[llvm-branch-commits] [llvm] 90b951d - [NFC] Remove trailing whitespace in llvm/CMakeLists.txt
via llvm-branch-commits
llvm-branch-commits at lists.llvm.org
Mon Dec 14 09:54:59 PST 2020
Author: Tony
Date: 2020-12-14T17:48:16Z
New Revision: 90b951dd6801f981a8130b7d743b667066fc0ff5
URL: https://github.com/llvm/llvm-project/commit/90b951dd6801f981a8130b7d743b667066fc0ff5
DIFF: https://github.com/llvm/llvm-project/commit/90b951dd6801f981a8130b7d743b667066fc0ff5.diff
LOG: [NFC] Remove trailing whitespace in llvm/CMakeLists.txt
Differential Revision: https://reviews.llvm.org/D93234
Added:
Modified:
llvm/CMakeLists.txt
Removed:
################################################################################
diff --git a/llvm/CMakeLists.txt b/llvm/CMakeLists.txt
index 9b5cadeed0c4..54009573ed43 100644
--- a/llvm/CMakeLists.txt
+++ b/llvm/CMakeLists.txt
@@ -378,13 +378,13 @@ option(LLVM_ENABLE_Z3_SOLVER
if (LLVM_ENABLE_Z3_SOLVER)
find_package(Z3 4.7.1)
-
+
if (LLVM_Z3_INSTALL_DIR)
if (NOT Z3_FOUND)
message(FATAL_ERROR "Z3 >= 4.7.1 has not been found in LLVM_Z3_INSTALL_DIR: ${LLVM_Z3_INSTALL_DIR}.")
endif()
endif()
-
+
if (NOT Z3_FOUND)
message(FATAL_ERROR "LLVM_ENABLE_Z3_SOLVER cannot be enabled when Z3 is not available.")
endif()
More information about the llvm-branch-commits
mailing list