This is an archive of the discontinued LLVM Phabricator instance.

Differential D93234

[NFC] Remove trailing whitespace in llvm/CMakeLists.txt
ClosedPublic

Authored by t-tye on Dec 14 2020, 9:48 AM.

Details

Reviewers
kzhuravl
scott.linder
Commits
rG90b951dd6801: [NFC] Remove trailing whitespace in llvm/CMakeLists.txt

Diff Detail

Event Timeline

t-tye created this revision.Dec 14 2020, 9:48 AM
Herald added a subscriber: mgorny. · View Herald TranscriptDec 14 2020, 9:48 AM
t-tye requested review of this revision.Dec 14 2020, 9:48 AM
Herald added a project: Restricted Project. · View Herald TranscriptDec 14 2020, 9:48 AM
Herald added a subscriber: llvm-commits. · View Herald Transcript
kzhuravl accepted this revision.Dec 14 2020, 9:49 AM

lgtm

This revision is now accepted and ready to land.Dec 14 2020, 9:49 AM
scott.linder accepted this revision.Dec 14 2020, 9:49 AM
This revision was landed with ongoing or failed builds.Dec 14 2020, 9:51 AM
Closed by commit rG90b951dd6801: [NFC] Remove trailing whitespace in llvm/CMakeLists.txt (authored by t-tye). · Explain Why
This revision was automatically updated to reflect the committed changes.
t-tye added a commit: rG90b951dd6801: [NFC] Remove trailing whitespace in llvm/CMakeLists.txt.
Harbormaster completed remote builds in B82308: Diff 311638.Dec 14 2020, 11:29 AM

Revision Contents

PathSize
llvm/
4 lines

Diff 311639

llvm/CMakeLists.txt

Show First 20 Lines • Show All 372 Lines • ▼ Show 20 Lines
option(LLVM_ENABLE_Z3_SOLVER option(LLVM_ENABLE_Z3_SOLVER
"Enable Support for the Z3 constraint solver in LLVM." "Enable Support for the Z3 constraint solver in LLVM."
${LLVM_ENABLE_Z3_SOLVER_DEFAULT} ${LLVM_ENABLE_Z3_SOLVER_DEFAULT}
) )
if (LLVM_ENABLE_Z3_SOLVER) if (LLVM_ENABLE_Z3_SOLVER)
find_package(Z3 4.7.1) find_package(Z3 4.7.1)
if (LLVM_Z3_INSTALL_DIR) if (LLVM_Z3_INSTALL_DIR)
if (NOT Z3_FOUND) if (NOT Z3_FOUND)
message(FATAL_ERROR "Z3 >= 4.7.1 has not been found in LLVM_Z3_INSTALL_DIR: ${LLVM_Z3_INSTALL_DIR}.") message(FATAL_ERROR "Z3 >= 4.7.1 has not been found in LLVM_Z3_INSTALL_DIR: ${LLVM_Z3_INSTALL_DIR}.")
endif() endif()
endif() endif()
if (NOT Z3_FOUND) if (NOT Z3_FOUND)
message(FATAL_ERROR "LLVM_ENABLE_Z3_SOLVER cannot be enabled when Z3 is not available.") message(FATAL_ERROR "LLVM_ENABLE_Z3_SOLVER cannot be enabled when Z3 is not available.")
endif() endif()
set(LLVM_WITH_Z3 1) set(LLVM_WITH_Z3 1)
endif() endif()
set(LLVM_ENABLE_Z3_SOLVER_DEFAULT "${Z3_FOUND}") set(LLVM_ENABLE_Z3_SOLVER_DEFAULT "${Z3_FOUND}")
▲ Show 20 Lines • Show All 765 Lines • Show Last 20 Lines