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 /docs | |
| 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 'docs')
| -rw-r--r-- | docs/installing-solidity.rst | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/docs/installing-solidity.rst b/docs/installing-solidity.rst index 5b3fdf87..41204bba 100644 --- a/docs/installing-solidity.rst +++ b/docs/installing-solidity.rst @@ -300,6 +300,27 @@ CMake options If you are interested what CMake options are available run ``cmake .. -LH``. +SMT Solvers +----------- +Solidity can be built against SMT solvers and will do so by default if +they are found in the system. Each solver can be disabled by a `cmake` option. + +*Note: In some cases, this can also be a potential workaround for build failures.* + + +Inside the build folder you can disable them, since they are enabled by default: + +.. code:: bash + + # disables only Z3 SMT Solver. + cmake .. -DUSE_Z3=OFF + + # disables only CVC4 SMT Solver. + cmake .. -DUSE_CVC4=OFF + + # disables both Z3 and CVC4 + cmake .. -DUSE_CVC4=OFF -DUSE_Z3=OFF + The version string in detail ============================ |