From 9c32c640556afcfa2260e04f4d81044ed8db2c92 Mon Sep 17 00:00:00 2001 From: Alex Groce Date: Thu, 2 Aug 2018 12:11:36 -0700 Subject: [PATCH] fix manticore build? --- .travis.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.travis.yml b/.travis.yml index 9dc83af..eb3c901 100644 --- a/.travis.yml +++ b/.travis.yml @@ -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