diff options
| author | Alex Beregszaszi <alex@rtfs.hu> | 2018-08-09 00:58:01 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-09 00:58:01 +0800 |
| commit | 551343ae3eb1b3f1575d91a4f7021c0f9529d5bd (patch) | |
| tree | 066883d643a962b7648d6dd642bd00cdc1b290d8 /cmake/EthCompilerSettings.cmake | |
| parent | 9d782cc39c7a42bae17565d419adfc8398a6ab9a (diff) | |
| parent | 4b20708c497cfbbb8a489339b91e26f05d0bd7a2 (diff) | |
| download | dexon-solidity-551343ae3eb1b3f1575d91a4f7021c0f9529d5bd.tar dexon-solidity-551343ae3eb1b3f1575d91a4f7021c0f9529d5bd.tar.gz dexon-solidity-551343ae3eb1b3f1575d91a4f7021c0f9529d5bd.tar.bz2 dexon-solidity-551343ae3eb1b3f1575d91a4f7021c0f9529d5bd.tar.lz dexon-solidity-551343ae3eb1b3f1575d91a4f7021c0f9529d5bd.tar.xz dexon-solidity-551343ae3eb1b3f1575d91a4f7021c0f9529d5bd.tar.zst dexon-solidity-551343ae3eb1b3f1575d91a4f7021c0f9529d5bd.zip | |
Merge pull request #4665 from mattaereal/cmake-patch-solver
cmake option added to make solvers optional
Diffstat (limited to 'cmake/EthCompilerSettings.cmake')
| -rw-r--r-- | cmake/EthCompilerSettings.cmake | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/cmake/EthCompilerSettings.cmake b/cmake/EthCompilerSettings.cmake index b0786ce2..b4cc6656 100644 --- a/cmake/EthCompilerSettings.cmake +++ b/cmake/EthCompilerSettings.cmake @@ -159,6 +159,10 @@ if(COVERAGE) add_compile_options(-g --coverage) endif() +# SMT Solvers integration +option(USE_Z3 "Allow compiling with Z3 SMT solver integration" ON) +option(USE_CVC4 "Allow compiling with CVC4 SMT solver integration" ON) + if (("${CMAKE_CXX_COMPILER_ID}" MATCHES "GNU") OR ("${CMAKE_CXX_COMPILER_ID}" MATCHES "Clang")) option(USE_LD_GOLD "Use GNU gold linker" ON) if (USE_LD_GOLD) |