diff options
| author | Frank Busse <bb0xfb@gmail.com> | 2021-05-02 16:54:26 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2021-05-04 14:58:19 +0100 |
| commit | 41e84de8c64f15526f33e0b9769a9e6f0b861c44 (patch) | |
| tree | 0d0a2e3fe7dc7943b2d37937e4287e642293abe5 /.cirrus.yml | |
| parent | 74ed0f5aa1b2b7fb1b42fa90ac0d7b3b4e0df85f (diff) | |
| download | klee-41e84de8c64f15526f33e0b9769a9e6f0b861c44.tar.gz | |
cirrus: update FreeBSD python dependencies
Diffstat (limited to '.cirrus.yml')
| -rw-r--r-- | .cirrus.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.cirrus.yml b/.cirrus.yml index 7ebe2cb7..7e25bcb8 100644 --- a/.cirrus.yml +++ b/.cirrus.yml @@ -6,7 +6,7 @@ task: deps_script: - sed -i.bak -e 's/quarterly/latest/' /etc/pkg/FreeBSD.conf - env ASSUME_ALWAYS_YES=yes pkg update -f - - env ASSUME_ALWAYS_YES=yes pkg install -y llvm90 gmake z3 cmake pkgconf google-perftools python3 python37 py37-sqlite3 py37-tabulate + - env ASSUME_ALWAYS_YES=yes pkg install -y llvm90 gmake z3 cmake pkgconf google-perftools python3 py38-sqlite3 py38-tabulate build_script: - mkdir build - cd build |