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