From 4b20708c497cfbbb8a489339b91e26f05d0bd7a2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mat=C3=ADas=20Aereal=20Ae=C3=B3n?= Date: Wed, 8 Aug 2018 11:46:17 -0300 Subject: cmake flags to make solvers optional. Implementation of #4651 --- docs/installing-solidity.rst | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) (limited to 'docs') 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 ============================ -- cgit v1.2.3