CODEWITHSUNDEEP
pythonpip64-bitz3angr
user541686
user541686

Reputation: 210525

Why can't I install angr-z3 using pip on Windows when Python is 64-bit?

It says the module machine type doesn't match; why?
(Note: This is a self-answered question; see below.)

Upvotes: 1

Views: 560

Answers (1)

user541686
user541686

Reputation: 210525

It's because setup.py needs to pass the -x flag to mk_make.py in order to build in 64-bit mode, but isn't doing so. You can solve this by downloading and extracting the package yourself, then changing line 28 in setup.py from

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

Upvotes: 2

Related Questions