diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-04-04 17:23:31 +0100 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2020-04-05 11:05:08 +0100 |
| commit | a71db108f52ca60a196b59cc653281ae6c370c2e (patch) | |
| tree | 573446f6b9ec8c63961cb978cbece5fb3dc22a30 /.cirrus.yml | |
| parent | 6ae6db2db6f1825d2f80dd75dd334c2e1f90cf19 (diff) | |
| download | klee-a71db108f52ca60a196b59cc653281ae6c370c2e.tar.gz | |
Run "pkg update -f" before installing dependencies on FreeBSD
Diffstat (limited to '.cirrus.yml')
| -rw-r--r-- | .cirrus.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.cirrus.yml b/.cirrus.yml index 4b326aea..e015dbdd 100644 --- a/.cirrus.yml +++ b/.cirrus.yml @@ -6,6 +6,7 @@ task: deps_script: - sed -i.bak -e 's/quarterly/latest/' /etc/pkg/FreeBSD.conf - env ASSUME_ALWAYS_YES=yes pkg bootstrap -f + - pkg update -f - pkg install -y llvm80 gmake z3 cmake pkgconf google-perftools python3 python37 py37-sqlite3 py37-tabulate build_script: - mkdir build |