Z3安装错误：datalog_frontend.cpp NMAKE:Visual Studio 2015 RC的致命错误U1077

我跟着 安装Z3。但是，错误发生在nmake之后。 我尝试了python脚本/mk_make.py或python脚本/mk_make.py-x来生成生成文件夹，但在nmake之后都失败了

这是虫子吗？如何安装Z3

C:\Program Files (x86)\Microsoft Visual Studio 14.0\z3-master\z3-master>cd build


C:\Program Files (x86)\Microsoft Visual Studio 14.0\z3-master\z3-master\build>nmake

Microsoft (R) Program Maintenance Utility Version 14.00.22816.0
Copyright (C) Microsoft Corporation.  All rights reserved.

datalog_frontend.cpp
C:\Program Files (x86)\Microsoft Visual Studio 14.0\VC\INCLUDE\crtdefs.h(10): fa
tal error C1083: Cannot open include file: 'corecrt.h': No such file or director
y
NMAKE : fatal error U1077: '"C:\Program Files (x86)\Microsoft Visual Studio 14.0
\VC\BIN\cl.EXE"' : return code '0x2'
Stop.

C:\Program Files (x86)\Microsoft Visual Studio 14.0\z3-master\z3-master\build>

图像链接： 我（Bing）发现了这个相关的问题：

我仍然使用VS2013构建Z3，有时还使用VS2015进行评测，但只有一个 您需要确保的是使用一个命令提示符，该提示符在路径上具有所有必需的include目录。 也就是说，我的命令提示符调用：

---

%comspec%/k“C:\Program Files（x86）\Microsoft Visual Studio 12.0\VC\vcvarsall.bat”x86

我不熟悉Z3，但您可能会更幸运地在github项目上创建一个问题。