DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

fix fi

Browse Source
This commit is contained in:
Alex Groce
2018-07-12 22:45:40 -07:00
parent 7f0f2ea3f9
commit 097c79b846
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
.travis.yml
View File

@@ -7,8 +7,8 @@ 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 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 z3; fi
- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then python scripts/mk_make.py; fi
- 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