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

Question

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

Answer 1

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

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