diff --git a/bin/setup.py.in b/bin/setup.py.in index dfb965e..f4a03e1 100644 --- a/bin/setup.py.in +++ b/bin/setup.py.in @@ -30,7 +30,10 @@ setuptools.setup( author_email="peter@trailofbits.com", license="Apache-2.0", keywords="tdd testing symbolic execution", - install_requires=['claripy==7.8.6.16','angr==7.8.7.1', 'manticore==0.1.10'], + install_requires=[ + "claripy==7.8.6.16 ; sys_platform != 'darwin'", + "angr==7.8.7.1 ; sys_platform != 'darwin'", + "manticore==0.1.10 ; sys_platform != 'darwin'"], entry_points={ 'console_scripts': [ 'deepstate = deepstate.main_manticore:main',