Merge pull request #2038 from fredrik-johansson/matmul #190
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: CI on push | |
| on: | |
| push: | |
| branches: | |
| - main | |
| - flint-* | |
| concurrency: | |
| # group by workflow and ref; the last slightly strange component ensures that for pull | |
| # requests, we limit to 1 concurrent job, but for the main branch we don't | |
| group: ${{ github.workflow }}-${{ github.ref }}-${{ github.ref != 'refs/heads/main' || github.run_number }} | |
| # Cancel intermediate builds, but only if it is a pull request build. | |
| cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }} | |
| jobs: | |
| ############################################################################## | |
| # freebsd with clang | |
| ############################################################################## | |
| freebsd-gcc: | |
| name: FreeBSD Clang (x0.5) | |
| runs-on: macos-13 | |
| env: | |
| FLINT_TEST_MULTIPLIER: "0.5" | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: "Run tests on FreeBSD" | |
| uses: cross-platform-actions/[email protected] | |
| timeout-minutes: 15 | |
| continue-on-error: true | |
| with: | |
| operating_system: freebsd | |
| version: '14.0' | |
| shell: bash | |
| run: | | |
| sudo pkg install -y pkgconf gmake gmp mpfr autoconf libtool automake | |
| gmake --version | |
| clang --version | |
| autoconf --version | |
| libtool --version | |
| touch _is_setup | |
| ./bootstrap.sh | |
| touch _is_bootstrapped | |
| ./configure \ | |
| CC=clang \ | |
| --with-gmp-include=$(pkgconf --variable=includedir gmp) \ | |
| --with-gmp-lib=$(pkgconf --variable=libdir gmp) \ | |
| --with-mpfr-include=$(pkgconf --variable=includedir mpfr) \ | |
| --with-mpfr-lib=$(pkgconf --variable=libdir mpfr) \ | |
| --disable-debug | |
| touch _is_configured | |
| gmake -j$(expr $(sysctl -n hw.ncpu) + 1) | |
| touch _is_library_built | |
| gmake -j$(expr $(sysctl -n hw.ncpu) + 1) tests | |
| touch _is_tests_built | |
| gmake -j$(expr $(sysctl -n hw.ncpu) + 1) check | |
| touch _is_checked | |
| # Sometimes the FreeBSD runner cannot exit properly. We created files | |
| # for each step to show that it was able to run the tests. | |
| - if: always() | |
| name: "Check that everything was okay" | |
| run: | | |
| if test ! -f _is_setup; | |
| then | |
| echo "Setup failed!" | |
| exit 1 | |
| elif test ! -f _is_bootstrapped; | |
| then | |
| echo "Bootstrap failed!" | |
| exit 2 | |
| elif test ! -f _is_configured; | |
| then | |
| echo "Configuration failed!" | |
| exit 3 | |
| elif test ! -f _is_library_built; | |
| then | |
| echo "Building library failed!" | |
| exit 4 | |
| elif test ! -f _is_tests_built; | |
| then | |
| echo "Building tests failed!" | |
| exit 5 | |
| elif test ! -f _is_checked; | |
| then | |
| echo "Check failed!" | |
| exit 6 | |
| fi | |
| echo "All good!" | |
| ############################################################################## | |
| # cygwin with gcc | |
| ############################################################################## | |
| cygwin-gcc: | |
| name: Cygwin GCC (x0.5) | |
| runs-on: windows-latest | |
| defaults: | |
| run: | |
| shell: C:\cygwin64\bin\bash.exe --login -o igncr '{0}' | |
| env: | |
| REPO: /cygdrive/d/a/flint/flint # FIXME: De-hardcode this | |
| CC: "gcc" | |
| FLINT_TEST_MULTIPLIER: "0.5" | |
| steps: | |
| - name: Make Git to use LF | |
| shell: pwsh | |
| run: | | |
| git config --global core.autocrlf false | |
| git config --global core.eol lf | |
| - uses: actions/checkout@v4 | |
| - name: "Set up Cygwin" | |
| uses: gap-actions/setup-cygwin@v1 | |
| with: | |
| PKGS_TO_INSTALL: "gcc-core,make,libgmp-devel,libmpfr-devel,libtool,autoconf,automake" | |
| - 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: | | |
| cd ${REPO} | |
| ./bootstrap.sh | |
| ./configure \ | |
| CC=${CC} \ | |
| --disable-debug | |
| - name: "Compile library" | |
| run: | | |
| cd ${REPO} | |
| ${MAKE} | |
| - name: "Compile tests" | |
| run: | | |
| cd ${REPO} | |
| $MAKE tests | |
| - name: "Check" | |
| run: | | |
| cd ${REPO} | |
| $MAKE check |