Я использую Windows и хочу начать использовать Solidity.Я слежу за документами по https://solidity.readthedocs.io/en/v0.5.6/installing-solidity.html и дошел до той части, где они показывают, как построить солидность с помощью cmake.После сборки я получаю сообщение об ошибке:
Невозможно найти Z3 (отсутствует: Z3_LIBRARY Z3_INCLUDE_DIR) (Требуется как минимум версия "4.6.0") Не найден решатель SMT (или он был принудительно отключен).Дополнительная проверка SMT не будет доступна.Пожалуйста, установите Z3 или CVC4 или удалите опцию, отключающую их (USE_Z3, USE_CVC4).
После поиска я узнал, что эта ошибка обычно вызвана основной проблемой, поэтому я вошел в файл CMakeError и сказал:
C: \ Users \ jcoch \ solidity \ build \ CMakeFiles \ CMakeTmp \ cmTC_f1373.vcxproj "(цель по умолчанию) (1) ->
(цель ClCompile) ->
cl: ошибка командной строки D8021: недопустимый числовой аргумент '/ Wimplicit-fallthrough' [C: \ Users \ jcoch \ solidity \ build \ CMakeFiles \ CMakeTmp \ cmTC_f1373.vcxproj]
0 Предупреждение (и) 1Ошибки (ы)
Затем я вошел в каталог CMakeTmp, но он был пуст. Как бы это исправить? Я использую Windows 10 и Visual Studio 15 2017.