Skip to content

Adjustments to square root to avoid destroying the input too early. #1140

Adjustments to square root to avoid destroying the input too early.

Adjustments to square root to avoid destroying the input too early. #1140

Workflow file for this run

name: Faster configuration (GMP)
on:
push:
branches:
- '**' # all branches
pull_request:
branches:
- '**' # all branches
jobs:
build:
name: ${{ matrix.config.name }}
runs-on: ${{ matrix.config.os }}
strategy:
fail-fast: false
matrix:
config:
- {
name: "Windows Latest - MinGW",
os: windows-latest,
cc: "gcc"
}
- {
name: "Ubuntu Latest - GCC",
os: ubuntu-latest,
cc: "gcc",
}
- {
name: "Ubuntu Latest - Clang",
os: ubuntu-latest,
cc: "clang",
}
- {
name: "MacOS Latest",
os: macos-latest,
cc: "clang",
}
defaults:
run:
shell: ${{ matrix.config.os == 'windows-latest' && 'msys2 {0}' || 'bash' }}
steps:
- uses: actions/checkout@v4
- name: Install Linux Dependencies
if: runner.os == 'Linux'
run: sudo apt install libgmp-dev
- name: Install MacOS Dependencies
if: runner.os == 'MacOS'
run: brew install gmp
- name: Set MinGW enviroment
if: ${{ (runner.os == 'Windows') && (matrix.config.cc == 'gcc') }}
uses: msys2/setup-msys2@v2
with:
msystem: UCRT64
install: >-
git
base-devel
gcc
cmake
gmp
gmp-devel
update: true
- name: Run CMake (MingW)
if: ${{ (runner.os == 'Windows') && (matrix.config.cc == 'gcc') }}
run: |
mkdir build
cd build
cmake -DSEED= -DBENCH=0 -DARITH=gmp -G "Unix Makefiles" ..
- name: Run CMake (standard)
if: ${{ !(runner.os == 'Windows') }}
run: |
mkdir build
cd build
cmake -DCMAKE_C_COMPILER=${{ matrix.config.cc }} -DSEED= -DBENCH=0 -DARITH=gmp ..
- name: CMake Build
run: cmake --build build
- name: CMake Test
run: |
cd build
ctest --verbose .