source: git/.github/workflows/runtests.yml @ 9f5139

spielwiese
Last change on this file since 9f5139 was 19763ff, checked in by Max Horn <max@…>, 4 years ago
Add basic GitHub Actions CI tests
  • Property mode set to 100644
File size: 1.5 KB
Line 
1name: Run tests
2
3# Trigger the workflow on push or pull request
4on: [push, pull_request]
5
6env:
7  prefix: "/tmp/prefix"
8jobs:
9  test:
10    runs-on: ${{ matrix.os }}
11    strategy:
12      fail-fast: false
13      matrix:
14        os: [ubuntu-latest, macos-latest]
15        configflags: ["", "--without-ntl --with-flint"]
16
17    steps:
18      - uses: actions/checkout@v2
19      - name: "Install dependencies"
20        run: |
21               if [ "$RUNNER_OS" == "Linux" ]; then
22                    # sharutils is for uudecode
23                    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"
26                    sudo tar -C /usr -xvf FLINT.tar.gz
27                    rm -f FLINT.tar.gz
28               elif [ "$RUNNER_OS" == "macOS" ]; then
29                    brew install autoconf automake libtool gmp readline mpfr ntl flint cddlib
30                    # TODO: 4ti2?
31                    # TODO: normaliz?
32               else
33                    echo "$RUNNER_OS not supported"
34                    exit 1
35               fi
36      - run: ./autogen.sh
37      - run: ./configure --prefix=$prefix --enable-gfanlib ${{ matrix.configflags }}
38      - run: make -j3
39      - run: make check
40      - run: make install
41
42# TODO: code coverage?
Note: See TracBrowser for help on using the repository browser.