Changeset 9bebec in git for .github

Timestamp:

Mar 2, 2021, 12:02:32 PM (2 years ago)

Author:

Max Horn <max@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')

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:

• .github/workflows/runtests.yml (modified) (3 diffs)

.github/workflows/runtests.yml

@@ -13 +13 @@
       matrix:
         os: [ubuntu-latest, macos-latest]
-        configflags: ["", "--without-ntl --with-flint"]
+        configflags: ["", "--with-ntl --with-flint", "--without-ntl --with-flint"]
 
     steps:
@@ -19 +19 @@
       - name: "Install dependencies"
         run: |
+               FLINT_JLL="https://github.com/JuliaBinaryWrappers/FLINT_jll.jl/releases/download/FLINT-v200.700.0%2B0/FLINT.v200.700.0"
                if [ "$RUNNER_OS" == "Linux" ]; then
                     # sharutils is for uudecode
                     sudo apt install sharutils libgmp-dev libreadline-dev libmpfr-dev libntl-dev libcdd-dev 4ti2 normaliz
-                    # install new enough FLINT (>= 2.6.0)
-                    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"
+                    # install new enough FLINT
+                    wget -O FLINT.tar.gz "${FLINT_JLL}.x86_64-linux-gnu.tar.gz"
                     sudo tar -C /usr -xvf FLINT.tar.gz
                     rm -f FLINT.tar.gz
                elif [ "$RUNNER_OS" == "macOS" ]; then
-                    brew install autoconf automake libtool gmp readline mpfr ntl flint cddlib
+                    brew install autoconf automake libtool gmp readline mpfr ntl cddlib
                     # TODO: 4ti2?
                     # TODO: normaliz?
+                    # install new enough FLINT
+                    wget -O FLINT.tar.gz "${FLINT_JLL}.x86_64-apple-darwin.tar.gz"
+                    sudo mkdir -p /usr/local
+                    sudo tar -C /usr/local -xvf FLINT.tar.gz
+                    rm -f FLINT.tar.gz
                else
                     echo "$RUNNER_OS not supported"
@@ -39 +45 @@
       - run: make check
       - run: make install
+      - run: cd Tst && ./regress.cmd -s $prefix/bin/Singular Old/universal.lst
+        if: ${{ always() }}
+      #- run: cd Tst && ./regress.cmd -s $prefix/bin/Singular Buch/buch.lst
+      #  if: ${{ always() }}
+      - run: cd Tst && ./regress.cmd -s $prefix/bin/Singular Plural/short.lst
+        if: ${{ always() }}
+      - run: cd Tst && ./regress.cmd -s $prefix/bin/Singular Plural/dmod.lst
+        if: ${{ always() }}
+      - run: cd Tst && ./regress.cmd -s $prefix/bin/Singular Short/ok_s.lst
+        if: ${{ always() }}
+      #- run: cd Tst && ./regress.cmd -s $prefix/bin/Singular Long/ok_l.lst
+      #  if: ${{ always() }}
 
 # TODO: code coverage?