diff options
| author | Lorenzo Manacorda <lorenzo@mailbox.org> | 2019-02-20 18:05:27 +0100 |
|---|---|---|
| committer | Lorenzo Manacorda <lorenzo@mailbox.org> | 2019-02-20 18:15:45 +0100 |
| commit | e639f2468121d1008f9b52d7e5d0819ead56e58c (patch) | |
| tree | d01273911c9a8f1265f9499f4557a3527f3cdf24 /pkgs/development/python-modules/httpserver | |
| parent | 83568dc5feeabca0137f867f76d305dbff837cb5 (diff) | |
solc: make z3 dependency optional
It is an optional dependency, which defaults to true.
https://solidity.readthedocs.io/en/latest/installing-solidity.html#smt-solvers
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions