为什么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')],
to

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