diff options
| author | Gleb Popov <6yearold@gmail.com> | 2019-05-05 21:31:53 +0400 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-05-06 10:51:27 +0100 |
| commit | b5295dc4b71c9da8ab4881944e5c72d6a3ca38fd (patch) | |
| tree | f5452b8348f28f41a0ba0b9b7f8a586aa4672ce9 | |
| parent | 0f96bfe68b22096b66b422cdfe402af724df7b50 (diff) | |
| download | klee-b5295dc4b71c9da8ab4881944e5c72d6a3ca38fd.tar.gz | |
Use 'latest' branch of FreeBSD packages on Cirrus CI.
| -rw-r--r-- | .cirrus.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.cirrus.yml b/.cirrus.yml index 4ea4a7f1..34f32354 100644 --- a/.cirrus.yml +++ b/.cirrus.yml @@ -4,6 +4,7 @@ task: - image: freebsd-11-2-release-amd64 - image: freebsd-12-0-release-amd64 deps_script: + - sed -i.bak -e 's/quarterly/latest/' /etc/pkg/FreeBSD.conf - pkg install -y llvm80 gmake z3 cmake pkgconf google-perftools python3 python36 py36-sqlite3 py36-tabulate build_script: - mkdir build |