我正在使用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。