always need to install manticore now

This commit is contained in:
Alex Groce 2018-07-18 12:35:04 -07:00
parent 92ed4f7c15
commit ae35d9ee83

View File

@ -7,9 +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
- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then sudo pip install -U pip ; sudo pip install manticore ; fi
- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then sudo pip uninstall -y Manticore || echo "Manticore not cached" ; fi
- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then sudo pip install https://github.com/trailofbits/manticore/archive/master.zip ; fi
- 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/master.zip
- mkdir build
- cd build
- cmake ..