forked from AliveToolkit/alive2
-
Notifications
You must be signed in to change notification settings - Fork 1
65 lines (56 loc) · 1.97 KB
/
build.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
name: Build
on: [push, pull_request]
jobs:
build:
name: ${{ matrix.os }} ${{ matrix.compiler }} ${{ matrix.build_type }} ${{ matrix.cache }}
runs-on: ${{ matrix.os }}
strategy:
matrix:
os: [ubuntu-24.04]
compiler: [g++-14, clang++-18]
build_type: [Release, Debug]
cache: ['', Redis]
include:
- os: macos-15
compiler: clang++
build_type: Release
- os: macos-15
compiler: clang++
build_type: Debug
steps:
- name: Checkout code
uses: actions/checkout@v4
- name: Install dependencies (Linux)
if: runner.os == 'Linux'
run: |
wget -O- https://apt.llvm.org/llvm-snapshot.gpg.key | sudo apt-key add -
if [[ ${{ matrix.compiler }} == "clang++-18" ]]; then
sudo add-apt-repository "deb http://apt.llvm.org/noble/ llvm-toolchain-noble-18 main"
fi
if [[ ${{ matrix.compiler }} == "clang++-19" ]]; then
sudo add-apt-repository "deb http://apt.llvm.org/noble/ llvm-toolchain-noble main"
fi
sudo apt-get update
sudo apt-get install z3 re2c ninja-build
if [[ ${{ matrix.compiler }} == "clang++-18" ]]; then
sudo apt-get install clang++-18
fi
if [[ ${{ matrix.compiler }} == "clang++-19" ]]; then
sudo apt-get install clang++-19
fi
if [[ "${{ matrix.cache }}" == "Redis" ]]; then
sudo apt-get install libhiredis-dev
fi
- name: Install dependencies (MacOS)
if: runner.os == 'macOS'
run: |
brew install z3 re2c ninja
- name: Compile
run: ./.github/scripts/build.sh
- name: Run Tests
run: ninja check
working-directory: build
env:
CMAKE_BUILD_TYPE: ${{ matrix.build_type }}
CMAKE_CXX_COMPILER: ${{ matrix.compiler }}
CMAKE_CXX_FLAGS: "-fsanitize=address,undefined"