spielwiese
Last change
on this file since 19763ff was
19763ff,
checked in by Max Horn <max@…>, 3 years ago
|
Add basic GitHub Actions CI tests
|
-
Property mode set to
100644
|
File size:
1.5 KB
|
Line | |
---|
1 | name: Run tests |
---|
2 | |
---|
3 | # Trigger the workflow on push or pull request |
---|
4 | on: [push, pull_request] |
---|
5 | |
---|
6 | env: |
---|
7 | prefix: "/tmp/prefix" |
---|
8 | jobs: |
---|
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.