From 697f5ed2b1e9d92d80b5bc4aea269bc1b4f6d9dc Mon Sep 17 00:00:00 2001
From: Alex Groce <agroce@gmail.com>
Date: Thu, 12 Jul 2018 22:17:52 -0700
Subject: [PATCH] try adding xenial to get z3

---
 .travis.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.travis.yml b/.travis.yml
index b96ca37..855ca65 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -6,6 +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
 - mkdir build
 - cd build
 - cmake ..