diff options
| author |  Dan Liew <daniel.liew@imperial.ac.uk> | 2015-12-01 17:01:22 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-12-01 17:01:22 +0000 |
| commit | c03c5ba246565fcb3b16630051c6235f06c4bef8 (patch) | |
| tree | b153969639b1886a3b0529bc753fdb8e734590e8 | |
| parent | fe8de9444fb6ce90216a9b8268d8a13daa9a9f2a (diff) | |
Teach TravisCI to use Z3 4.4.1 from repositories that I'm currently
maintaining on the OpenSUSE build service.
See
https://build.opensuse.org/package/show/home:delcypher:z3/z3
| -rw-r--r-- | .travis.yml | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/.travis.yml b/.travis.yml index 11ed4d64..41ee569f 100644 --- a/.travis.yml +++ b/.travis.yml @@ -6,14 +6,15 @@ env: - BOOGIE_CONFIG=Debug - BOOGIE_CONFIG=Release install: - - sudo apt-key adv --recv-keys --keyserver keyserver.ubuntu.com C504E590 - # FIXME: We should not be using GPUVerify's repo for Z3 - - sudo sh -c 'echo "deb http://ppa.launchpad.net/delcypher/gpuverify-smt/ubuntu precise main" > /etc/apt/sources.list.d/smt.list' + - wget http://download.opensuse.org/repositories/home:delcypher:z3/xUbuntu_12.04/Release.key + - sudo apt-key add - < Release.key + # Use Z3 package built by the OpenSUSE build service https://build.opensuse.org/package/show/home:delcypher:z3/z3 + - sudo sh -c "echo 'deb http://download.opensuse.org/repositories/home:/delcypher:/z3/xUbuntu_12.04/ /' >> /etc/apt/sources.list.d/z3.list" - sudo apt-get update # NuGet is a little flakey in legacy TravisCI, use travis_retry command to retry the command if it fails - travis_retry nuget restore ${TRAVIS_SOLUTION} - # Install Z3 - - sudo apt-get -y install z3=4.3.2-0~precise2 + # Install Z3 executable + - sudo apt-get -y install 'z3=4.4.1-*' # Install needed python tools - sudo pip install lit OutputCheck pyyaml - mkdir -p Source/packages && cd Source/packages && travis_retry nuget install NUnit.Runners -Version 2.6.3 |