DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

try to just install z3 from source

Browse Source
This commit is contained in:
Alex Groce
2018-07-12 22:41:05 -07:00
parent 5fa6a5fc2e
commit 7f0f2ea3f9
1 changed files with 7 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
.travis.yml
View File

@@ -6,9 +6,13 @@ python:
install:
- sudo apt-get -y update
- sudo apt-get -y install build-essential gcc-multilib cmake python python-setuptools libffi-dev
- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then sudo add-apt-repository -y ppa:neon1ks/xenial; fi
- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then sudo apt-get -y update; fi
- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then sudo apt-get -y install z3; fi
- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then git clone https://github.com/Z3Prover/z3.git; fi
- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then cd z3; f
- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then python scripts/mk_make.py; f
- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then cd build; fi
- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then make; fi
- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then sudo make install; fi
- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then cd ../..; fi
- mkdir build
- cd build
- cmake ..