diff options
| author | Gleb Popov <6yearold@gmail.com> | 2020-02-21 09:11:00 +0400 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2020-02-23 15:58:27 +0000 |
| commit | 6b38b78ac193c30639bc90e7bae40225072e8adc (patch) | |
| tree | fd76fdd44cf3d3930e3d1485f33836e94e431c8e | |
| parent | 41ee94afe029c891e8960141ba71a3451a42d6ae (diff) | |
| download | klee-6b38b78ac193c30639bc90e7bae40225072e8adc.tar.gz | |
Workaround `pkg` breakage on FreeBSD CI.
| -rw-r--r-- | .cirrus.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.cirrus.yml b/.cirrus.yml index 46f32049..f9645ed4 100644 --- a/.cirrus.yml +++ b/.cirrus.yml @@ -5,6 +5,7 @@ task: - image: freebsd-12-0-release-amd64 deps_script: - sed -i.bak -e 's/quarterly/latest/' /etc/pkg/FreeBSD.conf + - env ASSUME_ALWAYS_YES=yes pkg bootstrap -f - pkg install -y llvm80 gmake z3 cmake pkgconf google-perftools python3 python37 py37-sqlite3 py37-tabulate build_script: - mkdir build |