diff options
| author | Mikhail R. Gadelha <mikhail.ramalho@gmail.com> | 2019-02-07 03:19:45 +0000 |
|---|---|---|
| committer | Mikhail R. Gadelha <mikhail.ramalho@gmail.com> | 2019-02-07 03:19:45 +0000 |
| commit | eac500f0c340c00308039fdf5d9deaf3953fccd0 (patch) | |
| tree | dff87821d09574f7c3ece62f7bf8be00ff2a4638 /llvm/cmake/modules/LLVMConfig.cmake.in | |
| parent | 5f16ad9a1be845fef99155278bc5743e357664cd (diff) | |
| download | bcm5719-llvm-eac500f0c340c00308039fdf5d9deaf3953fccd0.tar.gz bcm5719-llvm-eac500f0c340c00308039fdf5d9deaf3953fccd0.zip | |
Move the SMT API to LLVM
Moved everything SMT-related to LLVM and updated the cmake scripts.
Differential Revision: https://reviews.llvm.org/D54978
llvm-svn: 353373
Diffstat (limited to 'llvm/cmake/modules/LLVMConfig.cmake.in')
| -rw-r--r-- | llvm/cmake/modules/LLVMConfig.cmake.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/llvm/cmake/modules/LLVMConfig.cmake.in b/llvm/cmake/modules/LLVMConfig.cmake.in index 7ca06381d90..b5576fda6ae 100644 --- a/llvm/cmake/modules/LLVMConfig.cmake.in +++ b/llvm/cmake/modules/LLVMConfig.cmake.in @@ -44,6 +44,8 @@ set(LLVM_ENABLE_ZLIB @LLVM_ENABLE_ZLIB@) set(LLVM_LIBXML2_ENABLED @LLVM_LIBXML2_ENABLED@) +set(LLVM_WITH_Z3 @LLVM_WITH_Z3@) + set(LLVM_ENABLE_DIA_SDK @LLVM_ENABLE_DIA_SDK@) set(LLVM_NATIVE_ARCH @LLVM_NATIVE_ARCH@) |
