DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

z3 package not found, try the python bindings

Browse Source
This commit is contained in:
Alex Groce
2018-07-12 19:41:56 -07:00
parent a69b3fcfb9
commit 5a108f4659
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.travis.yml
View File

@@ -4,7 +4,7 @@ sudo: true
python: python:
- "2.7" - "2.7"
install: install:
- sudo apt-get install build-essential gcc-multilib cmake python python-setuptools libffi-dev z3 - sudo apt-get install build-essential gcc-multilib cmake python python-setuptools libffi-dev python-z3
- mkdir build - mkdir build
- cd build - cd build
- cmake .. - cmake ..