为什么当 Python 是 64 位时，我不能在 Windows 上使用 pip 安装 angr-z3？

【问题标题】：Why can't I install angr-z3 using pip on Windows when Python is 64-bit?为什么当 Python 是 64 位时，我不能在 Windows 上使用 pip 安装 angr-z3？
【发布时间】：2016-04-20 23:53:58
【问题描述】：

说模块机器类型不匹配；为什么？
_{（注意：这是一个自我回答的问题；见下文。）}

【问题讨论】：

标签： python pip 64-bit z3 angr

【解决方案1】：

这是因为 setup.py 需要将 -x 标志传递给 mk_make.py 才能在 64 位模式下构建，但没有这样做。您可以通过自己下载并解压缩包来解决此问题，然后将 setup.py 中的第 28 行更改为

        if subprocess.call([sys.executable, os.path.join(build_dir,
                                                         'scripts',
                                                         'mk_make.py')],

到

        if subprocess.call([sys.executable, os.path.join(build_dir,
                                                         'scripts',
                                                         'mk_make.py'), '-x'],

【讨论】：