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

Question

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

Answer 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'],