Update .travis.yml

This commit is contained in:
ggrieco-tob 2018-11-07 11:32:35 -03:00 committed by GitHub
parent 511575fe79
commit a2443242e9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -10,7 +10,8 @@ install:
- sudo pip install pyflakes
- sudo pip install z3-solver
- sudo pip install https://github.com/trailofbits/manticore/archive/last_python2.zip
- sudo pip install cffi==1.7.0 pycparser==2.18 cle==7.8.9.26 pyvex==7.8.9.26 angr==7.8.7.1
- sudo pip install cffi==1.7.0 pycparser==2.18 cle==7.8.9.26 pyvex==7.8.9.26
- sudo pip install angr==7.8.7.1
- mkdir build
- cd build
- cmake ..