在 Windows 上构建 64 位 Z3 时出错

Question

我按照运行ning

的 Visual Studio Community 2015 在 64 位 Windows 8.1 系统上构建 Z3 的说明

python scripts/mk_make.py -x

但是当我运行 nmake 时，出现以下错误：

C:\Program Files (x86)\Windows Kits.1\include\um\winbase.h(8848): error C3861:
 '_InterlockedIncrement64': identifier not found
C:\Program Files (x86)\Windows Kits.1\include\um\winbase.h(8879): error C3861:
 '_InterlockedDecrement64': identifier not found
C:\Program Files (x86)\Windows Kits.1\include\um\winbase.h(8915): error C3861:
 '_InterlockedExchange64': identifier not found
C:\Program Files (x86)\Windows Kits.1\include\um\winbase.h(8969): error C3861:
 '_InterlockedExchangeAdd64': identifier not found
C:\Program Files (x86)\Windows Kits.1\include\um\winbase.h(8979): error C3861:
 '_InterlockedExchangeAdd64': identifier not found
C:\Program Files (x86)\Windows Kits.1\include\um\winbase.h(9026): error C3861:
 '_InterlockedAnd64': identifier not found
C:\Program Files (x86)\Windows Kits.1\include\um\winbase.h(9036): error C3861:
 '_InterlockedOr64': identifier not found
C:\Program Files (x86)\Windows Kits.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.

知道如何解决这个问题吗？

Answer 1

确保您运行在 "VS x64 Native Tools" 主机上。

在 Windows 上构建 64 位 Z3 时出错

Error when building 64-bit Z3 on Windows

64-bit

visual-studio

z3