Switch to MPFR 4.2.0 #317
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: admpfr CI | |
| on: | |
| push: | |
| branches: | |
| - main | |
| - main/** | |
| pull_request: | |
| branches: | |
| - main | |
| schedule: | |
| - cron: '0 0 * * 0' # weekly | |
| jobs: | |
| macos: | |
| strategy: | |
| matrix: | |
| platform: [macos-latest] | |
| runs-on: ${{ matrix.platform }} | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v3 | |
| - name: Set up Alire | |
| uses: alire-project/setup-alire@v1 | |
| - name: Set up env | |
| run: | | |
| /bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/HEAD/install.sh)" | |
| brew install mpfr | |
| pip3 install e3-testsuite | |
| - name: Build and test admpfr | |
| continue-on-error: true # remove when https://github.com/actions/runner-images/issues/8642 is fixed | |
| run: | | |
| export LIBRARY_PATH=/usr/local/lib | |
| export C_INCLUDE_PATH=/usr/local/include | |
| alr build | |
| alr exec -- ./testsuite/testsuite.py -E --failure-exit-code=1 | |
| ubuntu: | |
| strategy: | |
| matrix: | |
| platform: [ubuntu-22.04] | |
| runs-on: ${{ matrix.platform }} | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v3 | |
| - name: Set up Alire | |
| uses: alire-project/setup-alire@v1 | |
| - name: Set up env | |
| run: | | |
| sudo apt install libmpfr-dev | |
| pip3 install e3-testsuite | |
| - name: Build and test admpfr | |
| run: | | |
| alr build | |
| alr exec -- ./testsuite/testsuite.py -E --failure-exit-code=1 | |
| windows: | |
| strategy: | |
| matrix: | |
| platform: [windows-latest] | |
| runs-on: ${{ matrix.platform }} | |
| steps: | |
| - name: Set up git | |
| run: | | |
| git config --global core.autocrlf false | |
| - name: Checkout | |
| uses: actions/checkout@v3 | |
| - name: Set up Alire | |
| uses: alire-project/setup-alire@v1 | |
| - name: Set up env | |
| run: | | |
| C:\Users\runneradmin\.cache\alire\msys64\usr\bin\pacman --noconfirm -S mingw-w64-x86_64-mpfr | |
| # Install e3-core and e3-testsuite from source to benefit from the rlimit bugfix | |
| pip install git+https://github.com/AdaCore/e3-core.git@master | |
| pip install git+https://github.com/AdaCore/e3-testsuite.git@master | |
| - name: Build and test admpfr | |
| run: | | |
| alr build | |
| alr exec -- python.exe .\testsuite\testsuite.py -E --failure-exit-code=1 |