Workaround to avoid incompatible python packages

This commit is contained in:
ggrieco-tob 2018-09-29 15:13:05 -04:00 committed by GitHub
parent 61bc977f35
commit 3f69f87385
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -10,6 +10,7 @@ install:
- sudo pip2 install -U pip
- sudo pip install z3-solver
- sudo pip install https://github.com/trailofbits/manticore/archive/last_python2.zip
- sudo pip2 install cffi==1.7.0 pycparser==2.18
- mkdir build
- cd build
- cmake ..