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

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 Studio17\Enterprise\VC\Tools\MSVC.10.25017\bin\HostX64\x64\cl.EXE"' : return code '0x2'
    Stop.

有解决此问题的想法吗？

谢谢。

Answer 1

已修复，谢谢！它缺少 header 包含 (smmintrin.h)。

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

undeclared identifiers when using nmake to build Z3

z3