solidity CMake选项

如果您对可用的 CMake 选项感兴趣，请运行​cmake .. -LH​。

SMT 求解器

Solidity 可以针对 SMT 求解器构建，如果在系统中找到它们，默认情况下会这样做。每个求解器都可以通过cmake选项禁用。

注意：在某些情况下，这也可能是构建失败的潜在解决方法。

在 build 文件夹中，您可以禁用它们，因为它们默认启用：

# 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