about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
authorMartin Nowack <m.nowack@imperial.ac.uk>2024-01-30 09:52:28 +0000
committerCristian Cadar <c.cadar@imperial.ac.uk>2024-01-30 17:15:25 +0000
commit72b6207d49ce204b13dc2017033211f1b2cbd935 (patch)
treea1dc8c02eff8b50eb45d85f5765ee96c536c7243
parentdd4bf4cb183e604cd44795988e55cde929084fe7 (diff)
downloadklee-72b6207d49ce204b13dc2017033211f1b2cbd935.tar.gz
Switch to FreeBSD 14 and 13.2; Use LLVM 13
-rw-r--r--.cirrus.yml8
1 files changed, 4 insertions, 4 deletions
diff --git a/.cirrus.yml b/.cirrus.yml
index 828f6673..d34f7eaa 100644
--- a/.cirrus.yml
+++ b/.cirrus.yml
@@ -1,18 +1,18 @@
 task:
   freebsd_instance:
     matrix:
-      - image_family: freebsd-12-3-snap
-      - image_family: freebsd-13-1-snap
+      - image_family: freebsd-14-0
+      - image_family: freebsd-13-2
   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 llvm11 gmake z3 cmake pkgconf google-perftools python3 py39-sqlite3 py39-tabulate
+    - env ASSUME_ALWAYS_YES=yes pkg install -y llvm13 gmake z3 cmake pkgconf google-perftools python3 py39-sqlite3 py39-tabulate
   build_script:
     - mkdir build
     - cd build
     - cmake -DLLVM_DIR=/usr/local/llvm11 -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\./lit11\./' test/lit.cfg
+    - sed -i.bak -e 's/lit\./lit13\./' test/lit.cfg
     - cd build
     - gmake check