diff options
| author | Timotej Kapus <timotej.kapus13@imperial.ac.uk> | 2018-03-26 15:05:58 +0100 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2018-04-17 17:59:05 +0100 |
| commit | e0f9cda8568e0717d238f6bbba6f0de48df9d7c6 (patch) | |
| tree | e808d1fceb9dd6e4b11cb210e9080c4228d29d89 | |
| parent | d6dc86e6bcd26064136a96a385d9ba299d877aab (diff) | |
| download | klee-e0f9cda8568e0717d238f6bbba6f0de48df9d7c6.tar.gz | |
Change llvm apt repository to enable llvm 3.7+
| -rw-r--r-- | .travis.yml | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 7f7d236c..53efe93c 100644 --- a/.travis.yml +++ b/.travis.yml @@ -86,7 +86,14 @@ addons: apt: sources: - sourceline: 'ppa:ubuntu-toolchain-r/test' - - sourceline: 'ppa:h-rayflood/llvm' + - sourceline: 'deb http://apt.llvm.org/trusty/ llvm-toolchain-trusty-3.4 main' + key_url: 'https://apt.llvm.org/llvm-snapshot.gpg.key' + - sourceline: 'deb http://apt.llvm.org/trusty/ llvm-toolchain-trusty-3.5 main' + key_url: 'https://apt.llvm.org/llvm-snapshot.gpg.key' + - sourceline: 'deb http://apt.llvm.org/trusty/ llvm-toolchain-trusty-3.6 main' + key_url: 'https://apt.llvm.org/llvm-snapshot.gpg.key' + - sourceline: 'deb http://apt.llvm.org/trusty/ llvm-toolchain-trusty-3.7 main' + key_url: 'https://apt.llvm.org/llvm-snapshot.gpg.key' - sourceline: 'deb http://download.opensuse.org/repositories/home:/delcypher:/z3/xUbuntu_14.04/ /' key_url: 'http://download.opensuse.org/repositories/home:delcypher:z3/xUbuntu_14.04/Release.key' packages: |