Skip to content

config: introduce use_exact_fp option #1423

config: introduce use_exact_fp option

config: introduce use_exact_fp option #1423

Workflow file for this run

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++-19, clang++-20]
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++-19" ]]; then
sudo add-apt-repository "deb http://apt.llvm.org/noble/ llvm-toolchain-noble-19 main"
fi
if [[ ${{ matrix.compiler }} == "clang++-20" ]]; 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++-19" ]]; then
sudo apt-get install clang++-19
fi
if [[ ${{ matrix.compiler }} == "clang++-20" ]]; then
sudo apt-get install clang++-20
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"