Changeset 9bebec in git


Ignore:
Timestamp:
Mar 2, 2021, 12:02:32 PM (3 years ago)
Author:
Max Horn <max@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'd25190065115c859833252500a64cfb7b11e3a50')
Children:
4d8049f1ac15e575ca3192329049bfdba1bfcfe2
Parents:
10c141e8168f988737b6f5c59ccfacdb691d0eea
git-author:
Max Horn <max@quendi.de>2021-03-02 12:02:32+01:00
git-committer:
Max Horn <max@quendi.de>2021-03-02 12:04:46+01:00
Message:
Update GitHub Action CI tests

- switch to FLINT 2.7, taken from FLINT_JLL
- use regress.cmd for further tests
- test with both NTL and Flint enabled
File:
1 edited

Legend:

Unmodified
Added
Removed
  • .github/workflows/runtests.yml

    r10c141 r9bebec  
    1313      matrix:
    1414        os: [ubuntu-latest, macos-latest]
    15         configflags: ["", "--without-ntl --with-flint"]
     15        configflags: ["", "--with-ntl --with-flint", "--without-ntl --with-flint"]
    1616
    1717    steps:
     
    1919      - name: "Install dependencies"
    2020        run: |
     21               FLINT_JLL="https://github.com/JuliaBinaryWrappers/FLINT_jll.jl/releases/download/FLINT-v200.700.0%2B0/FLINT.v200.700.0"
    2122               if [ "$RUNNER_OS" == "Linux" ]; then
    2223                    # sharutils is for uudecode
    2324                    sudo apt install sharutils libgmp-dev libreadline-dev libmpfr-dev libntl-dev libcdd-dev 4ti2 normaliz
    24                     # install new enough FLINT (>= 2.6.0)
    25                     wget -O FLINT.tar.gz "https://github.com/JuliaBinaryWrappers/FLINT_jll.jl/releases/download/FLINT-v2.6.0%2B0/FLINT.v2.6.0.x86_64-linux-gnu.tar.gz"
     25                    # install new enough FLINT
     26                    wget -O FLINT.tar.gz "${FLINT_JLL}.x86_64-linux-gnu.tar.gz"
    2627                    sudo tar -C /usr -xvf FLINT.tar.gz
    2728                    rm -f FLINT.tar.gz
    2829               elif [ "$RUNNER_OS" == "macOS" ]; then
    29                     brew install autoconf automake libtool gmp readline mpfr ntl flint cddlib
     30                    brew install autoconf automake libtool gmp readline mpfr ntl cddlib
    3031                    # TODO: 4ti2?
    3132                    # TODO: normaliz?
     33                    # install new enough FLINT
     34                    wget -O FLINT.tar.gz "${FLINT_JLL}.x86_64-apple-darwin.tar.gz"
     35                    sudo mkdir -p /usr/local
     36                    sudo tar -C /usr/local -xvf FLINT.tar.gz
     37                    rm -f FLINT.tar.gz
    3238               else
    3339                    echo "$RUNNER_OS not supported"
     
    3945      - run: make check
    4046      - run: make install
     47      - run: cd Tst && ./regress.cmd -s $prefix/bin/Singular Old/universal.lst
     48        if: ${{ always() }}
     49      #- run: cd Tst && ./regress.cmd -s $prefix/bin/Singular Buch/buch.lst
     50      #  if: ${{ always() }}
     51      - run: cd Tst && ./regress.cmd -s $prefix/bin/Singular Plural/short.lst
     52        if: ${{ always() }}
     53      - run: cd Tst && ./regress.cmd -s $prefix/bin/Singular Plural/dmod.lst
     54        if: ${{ always() }}
     55      - run: cd Tst && ./regress.cmd -s $prefix/bin/Singular Short/ok_s.lst
     56        if: ${{ always() }}
     57      #- run: cd Tst && ./regress.cmd -s $prefix/bin/Singular Long/ok_l.lst
     58      #  if: ${{ always() }}
    4159
    4260# TODO: code coverage?
Note: See TracChangeset for help on using the changeset viewer.