diff options
| author | Zion Nimchuk <zionnimchuk@gmail.com> | 2020-06-06 16:18:52 -0400 |
|---|---|---|
| committer | Mikhail R. Gadelha <mikhail.ramalho@gmail.com> | 2020-06-23 14:49:56 -0400 |
| commit | fb34345e363ae00e6a2f7979ef524f4a4ffae582 (patch) | |
| tree | 5fea0ea2211b13a9a99c31fbb97f57eec7e29322 /llvm/lib/Bitcode/Reader/BitcodeReader.cpp | |
| parent | e618ccbf431f6730edb6d1467a127c3a52fd57f7 (diff) | |
Change CMake so that we only look for Z3 when LLVM_ENABLE_Z3_SOLVER is enabled
Reviewers: mikhail.ramalho
Reviewed By: mikhail.ramalho
Subscribers: mehdi_amini, mgorny, mikhail.ramalho, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D75544
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitcodeReader.cpp')
0 files changed, 0 insertions, 0 deletions