From e7a7b7d68f050d990a8521a6dee8c6c7228d9801 Mon Sep 17 00:00:00 2001
From: ggrieco-tob <31542053+ggrieco-tob@users.noreply.github.com>
Date: Tue, 28 Aug 2018 19:54:34 -0300
Subject: [PATCH] Update .travis.yml

---
 .travis.yml | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index e950aae..d83e607 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -7,10 +7,9 @@ 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 pip2 install -U pip 
-- wget https://github.com/trailofbits/manticore/archive/last_python2.zip
-- unzip last_python2.zip
-- cd manticore-last_python2 ; python2 setup.py install --user ; cd -
+- sudo pip2 install -U pip
+- sudo pip install z3-solver
+- sudo pip install https://github.com/trailofbits/manticore/archive/last_python2.zip
 - mkdir build
 - cd build
 - cmake ..