[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:51:08 PST 2020
This revision was landed with ongoing or failed builds.
This revision was automatically updated to reflect the committed changes.
Closed by commit rG90b951dd6801: [NFC] Remove trailing whitespace in llvm/CMakeLists.txt (authored by t-tye).
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D93234/new/
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.311639.patch
Type: text/x-patch
Size: 543 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20201214/c0844963/attachment.bin>
More information about the llvm-commits
mailing list