From 7f0f2ea3f9acb186cebfeda0bf244076784058b1 Mon Sep 17 00:00:00 2001 From: Alex Groce Date: Thu, 12 Jul 2018 22:41:05 -0700 Subject: [PATCH] try to just install z3 from source --- .travis.yml | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/.travis.yml b/.travis.yml index f29636d..b6dc13f 100644 --- a/.travis.yml +++ b/.travis.yml @@ -6,9 +6,13 @@ python: 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 sudo add-apt-repository -y ppa:neon1ks/xenial; fi -- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then sudo apt-get -y update; fi -- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then sudo apt-get -y install z3; fi +- 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 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 - cd build - cmake ..