solidity CMake選項(xiàng)

如果您對(duì)可用的 CMake 選項(xiàng)感興趣，請(qǐng)運(yùn)行?cmake .. -LH?。

SMT 求解器

Solidity 可以針對(duì) SMT 求解器構(gòu)建，如果在系統(tǒng)中找到它們，默認(rèn)情況下會(huì)這樣做。每個(gè)求解器都可以通過cmake選項(xiàng)禁用。

注意：在某些情況下，這也可能是構(gòu)建失敗的潛在解決方法。

在 build 文件夾中，您可以禁用它們，因?yàn)樗鼈兡J(rèn)啟用：

# 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