fix manticore build?

2018-08-02 12:11:36 -07:00
parent c607630572
commit 9c32c64055
1 changed files with 1 additions and 0 deletions
@@ -7,6 +7,7 @@ install:
 - pip install pyflakes
 - sudo apt-get -y update
 - sudo apt-get -y install build-essential gcc-multilib cmake python python-pip python-setuptools libffi-dev
+- sudo pip install z3-solver==4.5.1.0.post2
 - sudo pip install -U pip ; sudo pip install manticore
 - sudo pip uninstall -y Manticore || echo "Manticore not cached"
 - sudo pip install https://github.com/trailofbits/manticore/archive/last_python2.zip