Arguments to fmpz_CRT and fmpz_CRT_ui #1263
Workflow file for this run
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: | |
| pull_request: | |
| push: | |
| branches: | |
| - trunk | |
| - 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 trunk branch we don't | |
| group: ${{ github.workflow }}-${{ github.ref }}-${{ github.ref != 'refs/heads/trunk' || github.run_number }} | |
| # Cancel intermediate builds, but only if it is a pull request build. | |
| cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }} | |
| jobs: | |
| ############################################################################## | |
| # ubuntu with gcc | |
| ############################################################################## | |
| ubuntu-gcc: | |
| name: Ubuntu GCC, default flags with AVX2, Code Coverage (x10) | |
| runs-on: ubuntu-latest | |
| env: | |
| MAKE: "make -j --output-sync=target" | |
| CC: "gcc" | |
| TESTCFLAGS: "-Wall -O1" | |
| FLINT_TEST_MULTIPLIER: "10" | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: "Setup" | |
| run: | | |
| sudo apt-get install -y libgmp-dev | |
| sudo apt-get install -y libmpfr-dev | |
| sudo apt-get install -y autoconf | |
| sudo apt-get install -y libtool-bin | |
| gcc --version | |
| gcov --version | |
| make --version | |
| autoconf --version | |
| libtool --version | |
| - name: "Configure" | |
| run: | | |
| ./bootstrap.sh | |
| ./configure CC=${CC} --enable-avx2 TESTCFLAGS="${TESTCFLAGS}" --disable-static --enable-coverage | |
| - name: "Compile library" | |
| run: | | |
| $MAKE | |
| ldd libflint.so | |
| - name: "Compile tests" | |
| run: | | |
| $MAKE tests | |
| - name: "Check" | |
| run: | | |
| $MAKE check | |
| - name: "Gather coverage data" | |
| run: dev/gather_coverage.sh | |
| - name: "Upload coverage data" | |
| uses: codecov/[email protected] | |
| - if: failure() | |
| name: "If failure, stop all other jobs" | |
| uses: andymckay/[email protected] | |
| ############################################################################## | |
| # ubuntu with gcc (assert) | |
| ############################################################################## | |
| ubuntu-gcc-assert: | |
| name: Ubuntu GCC (assert, x2) | |
| runs-on: ubuntu-latest | |
| env: | |
| MAKE: "make -j --output-sync=target" | |
| CC: "gcc" | |
| CFLAGS: "-Wall -Werror=implicit-function-declaration" | |
| FLINT_TEST_MULTIPLIER: "2" | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: "Setup" | |
| run: | | |
| sudo apt-get install -y libgmp-dev | |
| sudo apt-get install -y libmpfr-dev | |
| sudo apt-get install -y autoconf | |
| sudo apt-get install -y libtool-bin | |
| gcc --version | |
| make --version | |
| autoconf --version | |
| libtool --version | |
| - name: "Configure" | |
| run: | | |
| ./bootstrap.sh | |
| ./configure CC=${CC} CFLAGS="${CFLAGS}" --with-gmp=/usr --with-mpfr=/usr --enable-assert --disable-static | |
| - name: "Compile library" | |
| run: | | |
| $MAKE | |
| ldd libflint.so | |
| - name: "Compile tests" | |
| run: | | |
| $MAKE tests | |
| - name: "Check" | |
| run: | | |
| $MAKE check | |
| - if: failure() | |
| name: "If failure, stop all other jobs" | |
| uses: andymckay/[email protected] | |
| ############################################################################## | |
| # macos with gcc and blas | |
| ############################################################################## | |
| macos-gcc: | |
| name: macOS GCC with BLAS (x3) | |
| runs-on: macos-latest | |
| env: | |
| MAKE: "gmake -j -l 10 --output-sync=target" | |
| CFLAGS: "-Wall" | |
| EXTRA_OPTIONS: "--disable-static --enable-shared" | |
| CC: "gcc" | |
| FLINT_TEST_MULTIPLIER: "3" | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: "Setup" | |
| run: | | |
| brew install gcc | |
| brew install make | |
| brew install gmp | |
| brew install mpfr | |
| brew install autoconf | |
| brew install libtool | |
| brew install automake | |
| brew install openblas | |
| gcc --version | |
| gmake --version | |
| autoconf --version | |
| - name: "Configure" | |
| run: | | |
| ./bootstrap.sh | |
| ./configure CC=${CC} CFLAGS="${CFLAGS}" \ | |
| --with-gmp=$(brew --prefix) \ | |
| --with-mpfr=$(brew --prefix) \ | |
| --with-blas=$(brew --prefix)/opt/openblas \ | |
| ${EXTRA_OPTIONS} | |
| - name: "Compile library" | |
| run: | | |
| $MAKE | |
| - name: "Compile tests" | |
| run: | | |
| $MAKE tests | |
| - name: "Check" | |
| run: | | |
| $MAKE check | |
| - if: failure() | |
| name: "If failure, stop all other jobs" | |
| uses: andymckay/[email protected] | |
| ############################################################################## | |
| # freebsd with clang | |
| ############################################################################## | |
| freebsd-gcc: | |
| name: FreeBSD Clang (x0.5) | |
| runs-on: macos-latest | |
| env: | |
| FLINT_TEST_MULTIPLIER: "0.5" | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: "Run tests on FreeBSD" | |
| uses: cross-platform-actions/[email protected] | |
| timeout-minutes: 25 | |
| continue-on-error: true | |
| with: | |
| operating_system: freebsd | |
| version: '13.1' | |
| shell: bash | |
| run: | | |
| yes | sudo pkg install pkgconf | |
| yes | sudo pkg install gmake | |
| yes | sudo pkg install gmp | |
| yes | sudo pkg install mpfr | |
| yes | sudo pkg install autoconf | |
| yes | sudo pkg install libtool | |
| yes | sudo pkg install automake | |
| gmake --version | |
| clang --version | |
| autoconf --version | |
| libtool --version | |
| touch _is_installed | |
| ./bootstrap.sh | |
| touch _is_bootstrapped | |
| ./configure CC=clang CFLAGS="-Wall" --disable-static --enable-shared \ | |
| --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) | |
| touch _is_configured | |
| gmake -j | |
| touch _is_built | |
| gmake -j 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. | |
| - name: "Check that everything was okay" | |
| run: | | |
| if test -e _is_installed; | |
| then | |
| if test -e _is_bootstrapped; | |
| then | |
| if test -e _is_configured; | |
| then | |
| if test -e _is_built; | |
| then | |
| if test -e _is_checked; | |
| then | |
| echo "All good!" | |
| else | |
| echo "Check failed!" | |
| exit 5 | |
| fi | |
| else | |
| echo "Building failed!" | |
| exit 4 | |
| fi | |
| else | |
| echo "Configuration failed!" | |
| exit 3 | |
| fi | |
| else | |
| echo "Bootstrap failed!" | |
| exit 2 | |
| fi | |
| else | |
| echo "Installation failed!" | |
| exit 1 | |
| fi | |
| # - if: failure() | |
| # name: "If failure, stop all other jobs" | |
| # uses: andymckay/[email protected] | |
| ############################################################################## | |
| # 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: | |
| MAKE: "make -j --output-sync=target" | |
| REPO: /cygdrive/d/a/flint/flint # FIXME: De-hardcode this | |
| CFLAGS: "-Wall" | |
| EXTRA_OPTIONS: "--enable-shared --disable-static" | |
| CC: "gcc" | |
| FLINT_TEST_MULTIPLIER: "0.5" | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: "Set up Cygwin" | |
| uses: gap-actions/setup-cygwin@v1 | |
| with: | |
| PKGS_TO_INSTALL: "dos2unix,gcc-core,make,libgmp-devel,libmpfr-devel,libtool,autoconf,automake" | |
| - name: "Setup" | |
| run: | | |
| gcc --version | |
| make --version | |
| autoconf --version | |
| libtool --version | |
| - name: "Configure" | |
| run: | | |
| cd ${REPO} | |
| dos2unix configure | |
| dos2unix bootstrap.sh | |
| ./bootstrap.sh | |
| ./configure CC=${CC} CFLAGS="${CFLAGS}" ${EXTRA_OPTIONS} | |
| - name: "Compile library" | |
| run: | | |
| cd ${REPO} | |
| ${MAKE} | |
| - name: "Compile tests" | |
| run: | | |
| cd ${REPO} | |
| $MAKE tests | |
| - name: "Check" | |
| run: | | |
| cd ${REPO} | |
| $MAKE check | |
| - if: failure() | |
| name: "If failure, stop all other jobs" | |
| uses: andymckay/[email protected] | |
| ############################################################################# | |
| # ubuntu with clang | |
| ############################################################################# | |
| ubuntu-clang: | |
| name: Ubuntu Clang (x5) | |
| runs-on: ubuntu-latest | |
| env: | |
| MAKE: "make -j --output-sync=target" | |
| LOCAL: ${{ github.workspace }}/local | |
| LDFLAGS: "-Wl,-rpath,$LOCAL/lib" | |
| CFLAGS: "-Wall" | |
| CC: "clang" | |
| EXTRA_OPTIONS: "--disable-static --enable-shared" | |
| FLINT_TEST_MULTIPLIER: "5" | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: "Setup" | |
| run: | | |
| sudo apt-get install -y libgmp-dev | |
| sudo apt-get install -y libmpfr-dev | |
| sudo apt-get install -y autoconf | |
| sudo apt-get install -y libtool-bin | |
| clang --version | |
| make --version | |
| autoconf --version | |
| libtool --version | |
| - name: "Configure" | |
| run: | | |
| ./bootstrap.sh | |
| ./configure CC=${CC} CFLAGS="${CFLAGS}" ${EXTRA_OPTIONS} | |
| - name: "Compile library" | |
| run: | | |
| $MAKE | |
| ldd libflint.so | |
| - name: "Compile tests" | |
| run: | | |
| $MAKE tests | |
| - name: "Check" | |
| run: | | |
| $MAKE check | |
| - if: failure() | |
| name: "If failure, stop all other jobs" | |
| uses: andymckay/[email protected] | |
| ############################################################################# | |
| # ubuntu with gcc and cmake (no checks) | |
| ############################################################################# | |
| ubuntu-cmake-gcc: | |
| name: Ubuntu GCC via CMake (no check) | |
| runs-on: ubuntu-latest | |
| env: | |
| MAKE: "make -j --output-sync=target" | |
| LOCAL: ${{ github.workspace }}/local | |
| LDFLAGS: "-Wl,-rpath,$LOCAL/lib" | |
| CFLAGS: "-Wall" | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: "Setup" | |
| run: | | |
| sudo apt-get install -y cmake | |
| sudo apt-get install -y libgmp-dev | |
| sudo apt-get install -y libmpfr-dev | |
| gcc --version | |
| make --version | |
| cmake --version | |
| - name: "Configure" | |
| run: | | |
| mkdir build | |
| cd build | |
| cmake -G"Unix Makefiles" -DWITH_NTL=no -DBUILD_TESTING=yes \ | |
| -DCMAKE_BUILD_TYPE=Release -DCMAKE_PREFIX_PATH=${LOCAL} .. | |
| - name: "Compile library" | |
| run: | | |
| cd build | |
| $MAKE | |
| ldd lib/libflint.so | |
| - if: failure() | |
| name: "If failure, stop all other jobs" | |
| uses: andymckay/[email protected] | |
| ############################################################################# | |
| # mingw with gcc | |
| ############################################################################# | |
| mingw64-gcc: | |
| name: MinGW GCC (x0.5) | |
| runs-on: windows-latest | |
| defaults: | |
| run: | |
| shell: msys2 {0} | |
| env: | |
| MAKE: "make -j --output-sync=target" | |
| CFLAGS: "-Wall" | |
| EXTRA_OPTIONS: "--enable-shared --disable-static" | |
| CC: "gcc" | |
| FLINT_TEST_MULTIPLIER: "0.5" | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: "Setup MinGW" | |
| uses: msys2/setup-msys2@v2 | |
| with: | |
| msystem: mingw64 | |
| update: true | |
| install: mingw-w64-x86_64-gcc mingw-w64-x86_64-autotools | |
| - name: "Setup" | |
| run: | | |
| gcc --version | |
| make --version | |
| autoconf --version | |
| libtool --version | |
| - name: "Configure" | |
| run: | | |
| ./bootstrap.sh | |
| ./configure CC=${CC} CFLAGS="${CFLAGS}" ${EXTRA_OPTIONS} | |
| - name: "Compile library" | |
| run: | | |
| ${MAKE} | |
| - name: "Compile tests" | |
| run: | | |
| ${MAKE} tests | |
| - name: "Check" | |
| run: | | |
| ${MAKE} check | |
| - if: failure() | |
| name: "If failure, stop all other jobs" | |
| uses: andymckay/[email protected] | |
| ############################################################################## | |
| # msvc | |
| ############################################################################## | |
| msvc: | |
| name: MSVC (x1) | |
| runs-on: windows-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: "Setup Conda" | |
| uses: conda-incubator/[email protected] | |
| with: | |
| miniconda-version: "latest" | |
| channels: conda-forge | |
| - name: "Install dependencies" | |
| run: | | |
| conda install --yes -c conda-forge mpfr | |
| conda install --yes -c conda-forge pthreads-win32 | |
| conda info | |
| conda list | |
| - name: "Setup MSVC" | |
| uses: ilammy/[email protected] | |
| with: | |
| arch: x86_64 | |
| - name: "Configure" | |
| run: | | |
| mkdir build | |
| cd build | |
| set "LIB=C:\Miniconda3\Library\lib;%LIB%" | |
| set "CPATH=C:\Miniconda3\Library\include;%CPATH%" | |
| cmake -G "Ninja" -DCMAKE_C_FLAGS="/wd4018 /wd4146 /wd4244 /wd4267 /wd4305 /wd4996" -DBUILD_TESTING=ON -DCMAKE_BUILD_TYPE=Release .. | |
| - name: "Build" | |
| run: | | |
| cd build | |
| cmake --build . -- -j4 | |
| # FIXME: Preferably drop support of CMake and native Windows, or fix so | |
| # that we can include the test again. | |
| - name: "Test everything except where MPIR fails" | |
| run: | | |
| cd build | |
| set "FLINT_TEST_MULTIPLIER=1" | |
| ctest -j4 --output-on-failure --timeout 180 -E "src-ca_mat-test-t-exp" | |
| - if: failure() | |
| name: "If failure, stop all other jobs" | |
| uses: andymckay/[email protected] | |
| ############################################################################## | |
| # nemo | |
| ############################################################################## | |
| nemo: | |
| name: Nemo.jl | |
| runs-on: ubuntu-latest | |
| env: | |
| MAKE: "make -j --output-sync=target" | |
| LOCAL: ${{ github.workspace }}/local | |
| CFLAGS: "" | |
| EXTRA_OPTIONS: "--disable-static --enable-shared" | |
| CC: "gcc" | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: "Setup" | |
| run: | | |
| sudo apt-get install -y sed | |
| sudo apt-get install -y autoconf | |
| sudo apt-get install -y libtool-bin | |
| gcc --version | |
| make --version | |
| autoconf --version | |
| libtool --version | |
| julia --version | |
| julia -e 'println(Base.BinaryPlatforms.HostPlatform())' | |
| - name: "Configure" | |
| run: | | |
| # Find path to GMP and MPFR | |
| gmp_path=$(julia -e 'include("dev/find_gmp_mpfr.jl"); print(gmp_artifact_dir())') | |
| echo "Path to GMP: ${gmp_path}" | |
| mpfr_path=$(julia -e 'include("dev/find_gmp_mpfr.jl"); print(mpfr_artifact_dir())') | |
| echo "Path to MPFR: ${mpfr_path}" | |
| # Make sure that we output an soname which corresponds to FLINT_JLL's | |
| # soname | |
| wget https://raw.githubusercontent.com/JuliaPackaging/Yggdrasil/master/F/FLINT/build_tarballs.jl | |
| FLINT_JLL_VERSION=$(grep "upstream_version =" build_tarballs.jl | sed "s/upstream_version = v\"\([0-9\.]*\)\"/\1/") | |
| FLINT_JLL_SONAME=$(grep "$FLINT_JLL_VERSION => " configure.ac | sed "s/# $FLINT_JLL_VERSION => \([0-9\.]\+\)/\1/") | |
| FLINT_JLL_MAJOR=$(echo $FLINT_JLL_SONAME | sed "s/\([0-9]\+\)\.[0-9]\+\.[0-9]\+/\1/") | |
| FLINT_JLL_MINOR=$(echo $FLINT_JLL_SONAME | sed "s/[0-9]\+\.\([0-9]\+\)\.[0-9]\+/\1/") | |
| FLINT_JLL_PATCH=$(echo $FLINT_JLL_SONAME | sed "s/[0-9]\+\.[0-9]\+\.\([0-9]\+\)/\1/") | |
| sed -i "s/^\(FLINT_MAJOR_SO=\)[0-9]\+/\1$FLINT_JLL_MAJOR/" configure.ac | |
| sed -i "s/^\(FLINT_MINOR_SO=\)[0-9]\+/\1$FLINT_JLL_MINOR/" configure.ac | |
| sed -i "s/^\(FLINT_PATCH_SO=\)[0-9]\+/\1$FLINT_JLL_PATCH/" configure.ac | |
| # Now we can configure FLINT. However, recent versions of MPFR_jll has | |
| # memory sanitation which messes with finding mpfr_init in the | |
| # configure-script. Hence, we also omit the check for finding MPFR. | |
| # FIXME: Probably want to fix this. | |
| ./bootstrap.sh | |
| ./configure CC=${CC} CFLAGS="${CFLAGS}" --prefix=${LOCAL} ${EXTRA_OPTIONS} --with-gmp=${gmp_path} --with-mpfr=${mpfr_path} --disable-mpfr-check | |
| - name: "Compile and install" | |
| run: | | |
| $MAKE | |
| $MAKE install | |
| - name: "Set up Nemo.jl" | |
| run: | | |
| # Override FLINT_jll's libflint with ours | |
| git clone https://github.com/Nemocas/Nemo.jl.git | |
| julia -e "import Pkg; Pkg.develop(path=\"./Nemo.jl\");" | |
| echo -e "[e134572f-a0d5-539d-bddf-3cad8db41a82]\nFLINT = \"${LOCAL}\"" > ~/.julia/artifacts/Overrides.toml | |
| touch Nemo.jl/src/Nemo.jl | |
| julia -e "using Nemo; println(\"Path to Nemo's libflint:\", Nemo.libflint)" | |
| - name: "Check Nemo.jl" | |
| run: | | |
| julia -e "import Pkg; Pkg.test(\"Nemo\")" | |
| # - if: failure() | |
| # name: "If failure, stop all other jobs" | |
| # uses: andymckay/[email protected] |