mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-25 04:02:41 +01:00
[NFC] Remove trailing whitespace in llvm/CMakeLists.txt
Differential Revision: https://reviews.llvm.org/D93234
This commit is contained in:
parent
783e812623
commit
66c131f86a
@ -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()
|
||||
|
Loading…
Reference in New Issue
Block a user