about summary refs log tree commit diff homepage
path: root/.cirrus.yml
blob: d34f7eaa0e878770af876be8b89e688ce75ccf67 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
task:
  freebsd_instance:
    matrix:
      - 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 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\./lit13\./' test/lit.cfg
    - cd build
    - gmake check