Question

我关注https://github.com/Z3Prover/z3 安装Z3。但是，错误发生在 nmake 之后。我已经尝试过 python scripts / mk_make.py 或 python scripts / 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>

图片链接： http://imgur.com/8mPvAem

Answer 1

我（Bing）发现了这个相关的问题： https://social.msdn.microsoft.com/Forums/en-US/86bc577b-528c-469c-a506-15383a44c111/missing-corecrth-from-the-default-include-folder-for-vs215?forum=vcgeneral

我仍然使用VS2013来构建Z3，有时使用VS2015来进行性能分析，但只有一个您需要确保使用的命令提示符包含路径上所有必需的包含目录。也就是说，我的命令提示符调用：％comspec％/ k“”C：\ Program Files（x86）\ Microsoft Visual Studio 12.0 \ VC \ vcvarsall.bat“”x86

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

1 个答案: