Changeset 4d8049f in git for .github

Timestamp:

Mar 3, 2021, 9:51:54 AM (3 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

31c6e9123b279b3c1d4b88510d92a7018b57fbb2

Parents:

ca899b79b2b68c594ba1ee0e0933ff3665264f5a9bebecf179644150ab8d4539f30db1d946e6710c

git-author:

Hans Schoenemann <hannes@mathematik.uni-kl.de>2021-03-03 09:51:54+01:00

git-committer:

GitHub <noreply@github.com>2021-03-03 09:51:54+01:00

Message:

Merge pull request #1021 from fingolfin/mh/gh-actions-more

More CI tests on GitHub action

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?