Question

我正在尝试从Visual Studio 2017的x64本机工具命令提示符构建Z3。

使用python scripts/mk_make.py -x后，我继续进行

cd build
nmake

正如文件所描述的那样。但是，我得到了以下痕迹：

//eveything above compiles fine
    gparams.cpp
    hash.cpp
    hwf.cpp
    ..\src\util\hwf.cpp(356): error C2065: '_MM_FROUND_TO_NEAREST_INT': undeclared identifier
    ..\src\util\hwf.cpp(356): error C3861: '_mm_round_pd': identifier not found
    ..\src\util\hwf.cpp(357): error C2065: '_MM_FROUND_TO_POS_INF': undeclared identifier
    ..\src\util\hwf.cpp(357): error C3861: '_mm_round_pd': identifier not found
    ..\src\util\hwf.cpp(358): error C2065: '_MM_FROUND_TO_NEG_INF': undeclared identifier
    ..\src\util\hwf.cpp(358): error C3861: '_mm_round_pd': identifier not found
    ..\src\util\hwf.cpp(359): error C2065: '_MM_FROUND_TO_ZERO': undeclared identifier
    ..\src\util\hwf.cpp(359): error C3861: '_mm_round_pd': identifier not found
    NMAKE : fatal error U1077: '"C:\Program Files (x86)\Microsoft Visual Studio\2017\Enterprise\VC\Tools\MSVC\14.10.25017\bin\HostX64\x64\cl.EXE"' : return code '0x2'
    Stop.

任何想法如何解决这个问题？

感谢。

Answer 1

修正了，谢谢！它缺少一个标题包括（smmintrin.h）。

使用nmake构建Z3时未声明的标识符

1 个答案: