在Windows上构建64位Z3时出错 [英] Error when building 64-bit Z3 on Windows

问题描述

我按照说明在运行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 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.

关于如何解决此问题的任何想法？

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时出错的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！