CI.yml

name: CI

on:
  pull_request:
    paths:
      - '.github/workflows/CI.yml'
      - 'src/**'
      - 'examples/**'
      - 'acinclude.m4'
      - 'bootstrap.sh'
      - 'CMakeLists.txt'
      - 'config/**'
      - 'configure.ac'
      - 'Makefile.in'
  push:
    paths:
      - '.github/workflows/CI.yml'
      - 'src/**'
      - 'examples/**'
      - 'acinclude.m4'
      - 'bootstrap.sh'
      - 'CMakeLists.txt'
      - 'config/**'
      - 'configure.ac'
      - 'Makefile.in'

env:
  GLOBAL_MULTIPLIER: 1

concurrency:
  # Group by workflow and ref, and to limit to 1 concurrent job except for main
  group: ${{ github.workflow }}-${{ github.ref }}-${{ github.ref != 'refs/heads/main' || github.run_number }}
  # Cancel intermediate builds for pull requests
  cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}

jobs:
  assert-ntl-msolve-nemo:
    name: NTL, msolve and Nemo.jl
    runs-on: ubuntu-24.04
    env:
      CC: "gcc"
      TESTCOEFF: "0.1"
    steps:
      - uses: actions/checkout@v5
      - name: "Setup"
        run: |
          sudo apt-get install -y libgmp-dev libmpfr-dev libntl-dev autoconf libtool-bin
          $CC --version
          make --version
          autoconf --version
          libtool --version
          julia --version
          echo "MAKE=make -j$(expr $(nproc) + 1) --output-sync=target" >> $GITHUB_ENV
      - name: "Build FLINT for msolve"
        run: |
          ./bootstrap.sh && ./configure CC=${CC} --with-ntl --enable-assert
          $MAKE && sudo make install && sudo ldconfig
      - name: "Test FLINT for msolve"
        run: |
          $MAKE tests
          $MAKE check
      - name: "Test msolve"
        run: |
          git clone --depth=1 https://github.com/algebraic-solving/msolve
          cd msolve/ && ./autogen.sh && ./configure && $MAKE && make check
      - name: "Build FLINT for Nemo"
        run: |
          gmp_path=$(julia -e 'include("dev/find_gmp_mpfr.jl"); print(gmp_artifact_dir())')
          mpfr_path=$(julia -e 'include("dev/find_gmp_mpfr.jl"); print(mpfr_artifact_dir())')
          echo "Path to GMP and MPFR: ${gmp_path}, ${mpfr_path}"
          ./bootstrap.sh && ./configure CC=${CC} --with-gmp=$gmp_path --with-mpfr=$mpfr_path && $MAKE
          mkdir lib
          cp libflint.so* lib/
      - name: "Test Nemo.jl"
        run: |
          git clone --depth 1 https://github.com/Nemocas/Nemo.jl.git
          mkdir -p ~/.julia/artifacts
          echo -e "[e134572f-a0d5-539d-bddf-3cad8db41a82]\nFLINT = \"$(pwd)\"" > ~/.julia/artifacts/Overrides.toml
          julia -e "import Pkg; Pkg.develop(path=\"./Nemo.jl\"); Pkg.test(\"Nemo\")"

  ubuntu-codecov:
    name: codecov (x10)
    runs-on: ubuntu-24.04
    env:
      CC: "gcc"
      TESTCOEFF: "10"
    steps:
      - name: "Rescale multiplier"
        run: echo "FLINT_TEST_MULTIPLIER=$(echo "${TESTCOEFF} * ${GLOBAL_MULTIPLIER}" | bc)" >> $GITHUB_ENV
      - uses: actions/checkout@v5
      - name: "Setup"
        run: |
          sudo apt-get install -y libgmp-dev libmpfr-dev autoconf libtool-bin lcov
          $CC --version
          make --version
          autoconf --version
          libtool --version
          lcov --version
          python3 --version
          echo "MAKE=make -j$(expr $(nproc) + 1) --output-sync=target" >> $GITHUB_ENV
      - name: "Configure"
        run: ./bootstrap.sh && ./configure CC=${CC} --enable-avx2 --enable-coverage
      - name: "Compile library"
        run: $MAKE && ldd libflint.so
      - name: "Compile tests"
        run: $MAKE tests
      - name: "Check"
        run: echo "FLINT_TEST_MULTIPLIER = $FLINT_TEST_MULTIPLIER" && $MAKE check
      - name: "Check Python"
        run: $MAKE check PYTHON=1
      - name: "Gather coverage data"
        run: $MAKE coverage
      - name: "Upload coverage data"
        uses: codecov/codecov-action@v5
        if: github.repository == 'flintlib/flint'
        with:
          files: build/coverage/coverage.info
          token: ${{ secrets.CODECOV_TOKEN }}

  regression-check:
    name: Regression check
    runs-on: ubuntu-24.04
    env:
      CC: "gcc"
      CFLAGS: "-march=native -std=c11 -Wall -Wextra -Werror"
      MODULES: "build/thread_pool_merged.lo build/thread_support_merged.lo build/ulong_extras_merged.lo build/long_extras_merged.lo build/perm_merged.lo build/double_extras_merged.lo build/d_vec_merged.lo build/d_mat_merged.lo build/mpn_extras_merged.lo build/nmod_merged.lo build/nmod_vec_merged.lo build/nmod_mat_merged.lo build/nmod_poly_merged.lo build/mpn_mod_merged.lo build/fmpz_merged.lo build/fmpz_vec_merged.lo build/fmpz_mat_merged.lo build/fmpz_poly_merged.lo build/fmpz_mod_merged.lo build/fmpz_mod_vec_merged.lo build/fmpz_mod_mat_merged.lo build/fmpz_mod_poly_merged.lo build/fmpq_merged.lo build/fmpq_vec_merged.lo build/fmpq_mat_merged.lo build/fmpq_poly_merged.lo build/fq_merged.lo build/fq_vec_merged.lo build/fq_mat_merged.lo build/fq_poly_merged.lo build/fq_nmod_merged.lo build/fq_nmod_vec_merged.lo build/fq_nmod_mat_merged.lo build/fq_nmod_poly_merged.lo build/fq_zech_merged.lo build/fq_zech_mat_merged.lo build/fq_zech_poly_merged.lo build/fq_default_merged.lo build/fq_default_mat_merged.lo build/fq_default_poly_merged.lo build/fq_embed_merged.lo build/fq_nmod_embed_merged.lo build/fq_zech_embed_merged.lo build/padic_merged.lo build/padic_mat_merged.lo build/padic_poly_merged.lo build/qadic_merged.lo build/nmod_poly_factor_merged.lo build/fmpz_factor_merged.lo build/fmpz_poly_factor_merged.lo build/fmpz_mod_poly_factor_merged.lo build/fq_poly_factor_merged.lo build/fq_nmod_poly_factor_merged.lo build/fq_zech_poly_factor_merged.lo build/fq_default_poly_factor_merged.lo build/nmod_poly_mat_merged.lo build/fmpz_poly_mat_merged.lo build/mpoly_merged.lo build/nmod_mpoly_merged.lo build/fmpz_mpoly_merged.lo build/fmpz_mod_mpoly_merged.lo build/fmpq_mpoly_merged.lo build/fq_nmod_mpoly_merged.lo build/fq_zech_mpoly_merged.lo build/nmod_mpoly_factor_merged.lo build/fmpz_mpoly_factor_merged.lo build/fmpz_mod_mpoly_factor_merged.lo build/fmpq_mpoly_factor_merged.lo build/fq_nmod_mpoly_factor_merged.lo build/fq_zech_mpoly_factor_merged.lo build/fft_merged.lo build/fft_small_merged.lo"
      # Everything until fmpz_poly_q
    steps:
      - uses: actions/checkout@v5
      - name: "Setup"
        run: |
          sudo apt-get install -y libgmp-dev libmpfr-dev autoconf libtool-bin
          $CC --version
          make --version
          autoconf --version
          libtool --version
          echo "MAKE=make -j$(expr $(nproc) + 1) --output-sync=target" >> $GITHUB_ENV
      - name: "Configure"
        run: ./bootstrap.sh && ./configure CC=${CC} CFLAGS="${CFLAGS}" --disable-debug
      - name: "Check regression in a subset of modules"
        run: $MAKE $MODULES

  ubuntu-arm:
    name: ARM (x0.5)
    runs-on: ubuntu-24.04-arm
    env:
      CC: "gcc"
      TESTCOEFF: "0.5"
    steps:
      - name: "Rescale multiplier"
        run: echo "FLINT_TEST_MULTIPLIER=$(echo "${TESTCOEFF} * ${GLOBAL_MULTIPLIER}" | bc)" >> $GITHUB_ENV
      - uses: actions/checkout@v5
      - name: "Setup"
        run: |
          sudo apt-get install -y libgmp-dev libmpfr-dev autoconf libtool-bin
          $CC --version
          make --version
          autoconf --version
          libtool --version
          echo "MAKE=make -j$(expr $(nproc) + 1) --output-sync=target" >> $GITHUB_ENV
      - name: "Configure"
        run: ./bootstrap.sh && ./configure CC=${CC} --disable-debug
      - name: "Compile library"
        run: $MAKE && ldd libflint.so
      - name: "Compile tests"
        run: $MAKE tests
      - name: "Check"
        run: echo "FLINT_TEST_MULTIPLIER = $FLINT_TEST_MULTIPLIER" && $MAKE check

  macos-m1:
    name: M1 (x0.5)
    runs-on: macos-26
    env:
      TESTCOEFF: "0.5"
    steps:
      - name: "Rescale multiplier"
        run: echo "FLINT_TEST_MULTIPLIER=$(echo "${TESTCOEFF} * ${GLOBAL_MULTIPLIER}" | bc)" >> $GITHUB_ENV
      - uses: actions/checkout@v5
      - name: "Setup"
        run: |
          brew install make autoconf libtool automake llvm
          $(brew --prefix llvm)/bin/clang --version
          gmake --version
          autoconf --version
          echo "MAKE=gmake -j$(expr $(nproc) + 1) -l 10 --output-sync=target" >> $GITHUB_ENV
      - name: "Configure"
        run: ./bootstrap.sh && ./configure CC=$(brew --prefix llvm)/bin/clang --with-gmp=$(brew --prefix) --with-mpfr=$(brew --prefix) --disable-debug
      - name: "Compile library"
        run: $MAKE
      - name: "Compile tests"
        run: $MAKE tests
      - name: "Compile profiles"
        run: $MAKE profile
      - name: "Check"
        run: echo "FLINT_TEST_MULTIPLIER = $FLINT_TEST_MULTIPLIER" && $MAKE check

  ubuntu-clang:
    name: ASan, BLAS, examples (x1)
    runs-on: ubuntu-24.04
    env:
      CC: "clang"
      TESTCOEFF: "1"
    steps:
      - name: "Rescale multiplier"
        run: echo "FLINT_TEST_MULTIPLIER=$(echo "${TESTCOEFF} * ${GLOBAL_MULTIPLIER}" | bc)" >> $GITHUB_ENV
      - uses: actions/checkout@v5
      - name: "Setup"
        run: |
          sudo apt-get install -y libgmp-dev libmpfr-dev autoconf libtool-bin perl libopenblas-dev
          clang --version
          make --version
          autoconf --version
          libtool --version
          echo "MAKE=make -j$(expr $(nproc) + 1) --output-sync=target" >> $GITHUB_ENV
      - name: "Configure"
        run: ./bootstrap.sh && ./configure CC=${CC} --with-blas --disable-debug --enable-asan
      - name: "Compile library"
        run: $MAKE && ldd libflint.so
      - name: "Compile tests"
        run: $MAKE tests
      - name: "Check"
        run: echo "FLINT_TEST_MULTIPLIER = $FLINT_TEST_MULTIPLIER" && $MAKE check
      - name: "Compile examples"
        run: $MAKE examples
      - name: "Check examples"
        run: $MAKE checkexamples

  mingw64-gcc:
    name: MinGW (x0.5)
    runs-on: windows-latest
    defaults:
      run:
        shell: msys2 {0}
    env:
      CC: "gcc"
      TESTCOEFF: "0.5"
    steps:
      - uses: actions/checkout@v5
      - name: "Setup MinGW"
        uses: msys2/setup-msys2@v2
        with:
          msystem: mingw64
          update: true
          install: bc mingw-w64-x86_64-gcc mingw-w64-x86_64-autotools
      - name: "Rescale multiplier"
        run: echo "FLINT_TEST_MULTIPLIER=$(echo "${TESTCOEFF} * ${GLOBAL_MULTIPLIER}" | bc)" >> $GITHUB_ENV
      - name: "Setup"
        run: |
          gcc --version
          make --version
          autoconf --version
          libtool --version
          echo "MAKE=make -j$(expr $(nproc) + 1) --output-sync=target" >> $GITHUB_ENV
      - name: "Configure"
        run: ./bootstrap.sh && ./configure CC=${CC} --enable-fast-build --disable-debug
      - name: "Compile library"
        run: $MAKE
      - name: "Compile tests"
        run: $MAKE tests
      - name: "Check"
        run: echo "FLINT_TEST_MULTIPLIER = $FLINT_TEST_MULTIPLIER" && $MAKE check

  msvc:
    name: MSVC (x0.5)
    runs-on: windows-latest
    env:
      TESTCOEFF: "0.5"
    steps:
      - name: "Rescale multiplier"
        run: |
          $TESTCOEFF = $env:TESTCOEFF * $env:GLOBAL_MULTIPLIER
          echo "FLINT_TEST_MULTIPLIER=$TESTCOEFF" | Out-File -Append -FilePath $env:GITHUB_ENV
      - uses: actions/checkout@v5
      - name: "Cache vcpkg packages"
        uses: actions/cache@v4
        with:
          path: ${{ runner.temp }}\vcpkg\archives
          key: ${{ runner.os }}-vcpkg-${{ hashFiles('**/vcpkg.json') }}
          restore-keys: |
            ${{ runner.os }}-vcpkg-
      - name: "Install vcpkg packages"
        run: vcpkg install gmp mpfr pthreads --binarysource="clear;files,${{ runner.temp }}\vcpkg\archives,readwrite"
      - name: "Setup MSVC"
        uses: ilammy/msvc-dev-cmd@v1.13.0
        with:
          arch: x86_64
      - name: "Configure"
        run: |
          mkdir build; cd build
          cmake `
            -G "Ninja" `
            -DCMAKE_TOOLCHAIN_FILE=C:/vcpkg/scripts/buildsystems/vcpkg.cmake `
            -DCMAKE_C_FLAGS="/wd4018 /wd4146 /wd4244 /wd4267 /wd4305 /wd4996" `
            -DBUILD_TESTING=ON `
            -DCMAKE_BUILD_TYPE=Release `
            ..
      - name: "Build"
        run: cd build; cmake --build . -j5
      - name: "Check"
        run: |
          cd build
          set "FLINT_TEST_MULTIPLIER=$env:FLINT_TEST_MULTIPLIER"
          ctest -j5 --output-on-failure

  alpine-32bit:
    name: 32-bit, musl, assert (x2.5)
    runs-on: ubuntu-24.04
    env:
      CC: "gcc"
      TESTCOEFF: "2.5"
    defaults:
      run:
        shell: alpine.sh {0}
    steps:
      - uses: actions/checkout@v5
      - name: "Setup latest Alpine Linux"
        uses: jirutka/setup-alpine@v1
        with:
          arch: x86
          branch: edge
          packages: gmp-dev mpfr-dev gcc musl-dev make autoconf automake libtool
      - name: "Rescale multiplier"
        run: echo "FLINT_TEST_MULTIPLIER=$(echo "${TESTCOEFF} * ${GLOBAL_MULTIPLIER}" | bc)" >> $GITHUB_ENV
      - name: "Setup"
        run: |
          gcc --version
          make --version
          autoconf --version
          libtool --version
          echo "MAKE=make -j$(expr $(nproc) + 1) --output-sync=target" >> $GITHUB_ENV
      - name: "Configure"
        run: ./bootstrap.sh && ./configure CC=${CC} --enable-assert --disable-debug
      - name: "Compile library"
        run: $MAKE
      - name: "Compile tests"
        run: $MAKE tests
      - name: "Check"
        run: echo "FLINT_TEST_MULTIPLIER = $FLINT_TEST_MULTIPLIER" && $MAKE check