diff options
| author | Alex Beregszaszi <alex@rtfs.hu> | 2018-09-18 22:13:28 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-18 22:13:28 +0800 |
| commit | 64f55c13d40180e05f488d2def64561d20455807 (patch) | |
| tree | d7b996530385fae5af089a3fed9ca25b6027cd67 /docs/installing-solidity.rst | |
| parent | 63c6007012c9cd8509b752e0d0adc044be366ff7 (diff) | |
| parent | 2c613127c92ab96ca8b02ff7b1866df1ad9ad1c0 (diff) | |
| download | dexon-solidity-64f55c13d40180e05f488d2def64561d20455807.tar dexon-solidity-64f55c13d40180e05f488d2def64561d20455807.tar.gz dexon-solidity-64f55c13d40180e05f488d2def64561d20455807.tar.bz2 dexon-solidity-64f55c13d40180e05f488d2def64561d20455807.tar.lz dexon-solidity-64f55c13d40180e05f488d2def64561d20455807.tar.xz dexon-solidity-64f55c13d40180e05f488d2def64561d20455807.tar.zst dexon-solidity-64f55c13d40180e05f488d2def64561d20455807.zip | |
Merge pull request #4972 from ethereum/addPragma
Explain pragmas.
Diffstat (limited to 'docs/installing-solidity.rst')
| -rw-r--r-- | docs/installing-solidity.rst | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/installing-solidity.rst b/docs/installing-solidity.rst index 3332a83b..ba373b8f 100644 --- a/docs/installing-solidity.rst +++ b/docs/installing-solidity.rst @@ -303,6 +303,8 @@ CMake options If you are interested what CMake options are available run ``cmake .. -LH``. +.. _smt_solvers_build: + SMT Solvers ----------- Solidity can be built against SMT solvers and will do so by default if |