本文介绍了在 Windows 上构建 64 位 Z3 时出错的处理方法，对大家解决问题具有一定的参考价值，需要的朋友们下面随着小编来一起学习吧！
问题描述
我按照说明使用 Visual Studio Community 2015 在 64 位 Windows 8.1 系统上通过运行构建 Z3
I followed the instructions to build Z3 on a 64-bit Windows 8.1 system with Visual Studio Community 2015 by running
python scripts/mk_make.py -x
但是当我运行 nmake 时，出现以下错误:
but when I run nmake, I get the following error:
C:Program Files (x86)Windows Kits8.1includeumwinbase.h(8848): error C3861:
'_InterlockedIncrement64': identifier not found
C:Program Files (x86)Windows Kits8.1includeumwinbase.h(8879): error C3861:
'_InterlockedDecrement64': identifier not found
C:Program Files (x86)Windows Kits8.1includeumwinbase.h(8915): error C3861:
'_InterlockedExchange64': identifier not found
C:Program Files (x86)Windows Kits8.1includeumwinbase.h(8969): error C3861:
'_InterlockedExchangeAdd64': identifier not found
C:Program Files (x86)Windows Kits8.1includeumwinbase.h(8979): error C3861:
'_InterlockedExchangeAdd64': identifier not found
C:Program Files (x86)Windows Kits8.1includeumwinbase.h(9026): error C3861:
'_InterlockedAnd64': identifier not found
C:Program Files (x86)Windows Kits8.1includeumwinbase.h(9036): error C3861:
'_InterlockedOr64': identifier not found
C:Program Files (x86)Windows Kits8.1includeumwinbase.h(9046): error C3861:
'_InterlockedXor64': identifier not found
NMAKE : fatal error U1077: '"C:Program Files (x86)Microsoft Visual Studio 14.0
VCBINcl.EXE"' : return code '0x2'
Stop.
知道如何解决这个问题吗?
Any idea on how to fix this?
推荐答案
确保您在VS x64 Native Tools"控制台上运行.
Make sure you're running on a "VS x64 Native Tools" console.
这篇关于在 Windows 上构建 64 位 Z3 时出错的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持！