[PATCH] D93234: [NFC] Remove trailing whitespace in llvm/CMakeLists.txt
Tony Tye via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Mon Dec 14 09:48:16 PST 2020
t-tye created this revision.
t-tye added reviewers: kzhuravl, scott.linder.
Herald added a subscriber: mgorny.
t-tye requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.
Repository:
rG LLVM Github Monorepo
https://reviews.llvm.org/D93234
Files:
llvm/CMakeLists.txt
Index: llvm/CMakeLists.txt
===================================================================
--- llvm/CMakeLists.txt
+++ llvm/CMakeLists.txt
@@ -378,13 +378,13 @@
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()
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D93234.311638.patch
Type: text/x-patch
Size: 543 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20201214/bc413ae8/attachment.bin>
More information about the llvm-commits
mailing list