Почему я не могу установить angr-z3 с помощью pip в Windows, когда Python 64-бит?

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