Fix manticore

This commit is contained in:
ggrieco-tob 2018-08-28 15:53:50 -03:00 committed by GitHub
parent 0fbd80a0b1
commit cb55fa66ec
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -7,9 +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 -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
- sudo pip install -U pip ; sudo pip install https://github.com/trailofbits/manticore/archive/last_python2.zip
- mkdir build
- cd build
- cmake ..