Use the latest revision of Manticore from its master branch
This commit is contained in:
parent
06ce1af799
commit
516fa6e282
@ -8,6 +8,8 @@ install:
|
|||||||
- sudo apt-get -y update
|
- sudo apt-get -y update
|
||||||
- sudo apt-get -y install build-essential gcc-multilib cmake python python-pip python-setuptools libffi-dev
|
- 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 install -U pip ; sudo pip install manticore ; fi
|
||||||
|
- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then pip uninstall -y Manticore || echo "Manticore not cached" ; fi
|
||||||
|
- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then pip install https://github.com/trailofbits/manticore/archive/master.zip ; fi
|
||||||
- mkdir build
|
- mkdir build
|
||||||
- cd build
|
- cd build
|
||||||
- cmake ..
|
- cmake ..
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user