logo标签列表

在Windows上构建64位Z3时出现错误

visual-studio64-bitz3
4

我按照指示在一台64位的Windows 8.1系统上，通过运行命令来构建使用Visual Studio Community 2015的Z3：

python scripts/mk_make.py -x

但是当我运行nmake时，出现了以下错误：
C:\Program Files (x86)\Windows Kits\8.1\include\um\winbase.h(8848): error C3861:
 '_InterlockedIncrement64': identifier not found
C:\Program Files (x86)\Windows Kits\8.1\include\um\winbase.h(8879): error C3861:
 '_InterlockedDecrement64': identifier not found
C:\Program Files (x86)\Windows Kits\8.1\include\um\winbase.h(8915): error C3861:
 '_InterlockedExchange64': identifier not found
C:\Program Files (x86)\Windows Kits\8.1\include\um\winbase.h(8969): error C3861:
 '_InterlockedExchangeAdd64': identifier not found
C:\Program Files (x86)\Windows Kits\8.1\include\um\winbase.h(8979): error C3861:
 '_InterlockedExchangeAdd64': identifier not found
C:\Program Files (x86)\Windows Kits\8.1\include\um\winbase.h(9026): error C3861:
 '_InterlockedAnd64': identifier not found
C:\Program Files (x86)\Windows Kits\8.1\include\um\winbase.h(9036): error C3861:
 '_InterlockedOr64': identifier not found
C:\Program Files (x86)\Windows Kits\8.1\include\um\winbase.h(9046): error C3861:
 '_InterlockedXor64': identifier not found
NMAKE : fatal error U1077: '"C:\Program Files (x86)\Microsoft Visual Studio 14.0
\VC\BIN\cl.EXE"' : return code '0x2'
Stop.

有任何解决这个问题的想法吗？
1个回答
10

确保您正在运行“VS x64本机工具”控制台。

您IP地址为143.198.54.68，由于运营成本限制，当前对于免费用户的使用频率限制为每个IP每72小时10次对话，如需解除限制，请点击左下角设置图标按钮（手机用户先点击左上角菜单按钮）。 - user118967
1
模块错误意味着一些对象文件已经编译为32位，而另一些则为64位。确保您从新的构建目录开始，并提供-x选项给mk_make.py。 - Christoph Wintersteiger
是的，看起来可以了。谢谢！ - user118967
对于任何想知道这个位置的人，它位于C:\Program Files (x86)\Microsoft Visual Studio 14.0\Common7\Tools\VsDevCmd.bat，至少是在那个版本中。它似乎添加了一些额外的环境变量和可能的路径内容，但我没有完全检查。 - sabujp
网页内容由stack overflow 提供, 点击上面的
可以查看英文原文，
原文链接