diff options
| author | Gleb Popov <6yearold@gmail.com> | 2020-12-13 22:11:26 +0400 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-12-13 20:22:27 +0000 |
| commit | 1a2e56fbf683a480459261c198fe6fa8085f2523 (patch) | |
| tree | 2c4bbeb0449f6e0903fa77f9da6b6e49055e6eba | |
| parent | 4742ccc813a26ec8c9d142694b4eee6f4d2d7657 (diff) | |
| download | klee-1a2e56fbf683a480459261c198fe6fa8085f2523.tar.gz | |
FreeBSD CI: Use FreeBSD 12.2 instead of 12.1 and LLVM 9 instead of LLVM 8.
| -rw-r--r-- | .cirrus.yml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.cirrus.yml b/.cirrus.yml index 003dca1d..7ebe2cb7 100644 --- a/.cirrus.yml +++ b/.cirrus.yml @@ -2,17 +2,17 @@ task: freebsd_instance: matrix: - image_family: freebsd-11-4-snap - - image_family: freebsd-12-1-snap + - image_family: freebsd-12-2-snap 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 llvm80 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 python37 py37-sqlite3 py37-tabulate build_script: - mkdir build - cd build - - cmake -DLLVM_CONFIG_BINARY=/usr/local/bin/llvm-config80 -DMAKE_BINARY=/usr/local/bin/gmake -DENABLE_TCMALLOC:BOOL=true -DENABLE_POSIX_RUNTIME:BOOL=ON -DENABLE_SOLVER_Z3:BOOL=true -DENABLE_SYSTEM_TESTS:BOOL=ON .. + - cmake -DLLVM_CONFIG_BINARY=/usr/local/bin/llvm-config90 -DMAKE_BINARY=/usr/local/bin/gmake -DENABLE_TCMALLOC:BOOL=true -DENABLE_POSIX_RUNTIME:BOOL=ON -DENABLE_SOLVER_Z3:BOOL=true -DENABLE_SYSTEM_TESTS:BOOL=ON .. - gmake test_script: - - sed -i.bak -e 's/lit\./lit80\./' test/lit.cfg + - sed -i.bak -e 's/lit\./lit90\./' test/lit.cfg - cd build - gmake check |