DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

fix missing fi

Browse Source
This commit is contained in:
Alex Groce
2018-07-12 22:19:46 -07:00
parent 697f5ed2b1
commit 972c44d22a
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
.travis.yml
View File

@@ -6,9 +6,9 @@ python:
install:
- sudo apt-get update
- sudo apt-get install build-essential gcc-multilib cmake python python-setuptools libffi-dev
- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then sudo add-apt-repository ppa:neon1ks/xenial
- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then sudo apt-get update
- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then sudo apt-get install z3
- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then sudo add-apt-repository ppa:neon1ks/xenial; fi
- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then sudo apt-get update; fi
- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then sudo apt-get install z3; fi
- mkdir build
- cd build
- cmake ..