DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

Simplified .travis.yml

Browse Source
This commit is contained in:
ggrieco-tob
2018-07-13 08:40:05 -03:00
committed by GitHub
parent 0ed5edf416
commit 89129099c6
1 changed files with 2 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
.travis.yml
View File

@@ -6,14 +6,8 @@ python:
install: install:
- pip install pyflakes - pip install pyflakes
- sudo apt-get -y update - sudo apt-get -y update
- sudo apt-get -y install build-essential gcc-multilib cmake python 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 git clone https://github.com/Z3Prover/z3.git; fi - if [ $DEEPSTATE_CMD = deepstate-manticore ]; then sudo pip install manticore
- 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
- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then cd ../..; fi
- mkdir build - mkdir build
- cd build - cd build
- cmake .. - cmake ..