fplll/.github/workflows/tests.yml at master · virtualsecureplatform/fplll · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
name: Tests

on:
  push:
  pull_request:
  schedule:
    - cron: '0 0 * * 0' # weekly

env:
  JOBS: 2
  CONFIGURE_OPTS: --enable-recursive-enum  --with-max-enum-dim=64 --with-max-parallel-enum-dim=64

jobs:
  linux:
    runs-on: ubuntu-latest
    strategy:
      matrix:
        include:
          - configure-options: --enable-recursive-enum  --with-max-enum-dim=64 --with-max-parallel-enum-dim=64
          - configure-options: --enable-recursive-enum  --with-max-enum-dim=64 --with-max-parallel-enum-dim=0
          - configure-options: --disable-recursive-enum --with-max-enum-dim=64 --with-max-parallel-enum-dim=0

    steps:
      - name: Echo Configure Options
        env:
          CONFIGURE_OPTS: ${{ matrix.configure-options }}
        run: echo $CONFIGURE_OPTS
      - name: Check out
        uses: actions/checkout@v4
      - name: Install prerequisites
        run: |
          sudo DEBIAN_FRONTEND=noninteractive apt-get update
          sudo DEBIAN_FRONTEND=noninteractive apt-get install autoconf automake libtool libgmp-dev libmpfr-dev libqd-dev
      - name: Configure
        run: |
          autoreconf -i
          ./configure --disable-static $CONFIGURE_OPTS
      - name: Compile
        run: make -j $JOBS

      - name: Test
        run: make -j $JOBS check

  macos:
    runs-on: macos-15

    steps:
      - name: Check out
        uses: actions/checkout@v4
      - name: Set Xcode
        uses: maxim-lobanov/setup-xcode@v1
        with:
          xcode-version: latest-stable
      - name: Install prerequisites
        run: |
          brew update
          brew install -f --overwrite python@3.12
          brew reinstall gmp
          brew install automake clang-format libtool
          brew upgrade autoconf
      - name: Configure
        run: |
          if [[ $(uname -m) == 'arm64' ]]; then
             GMP=/opt/homebrew/opt/gmp
             MPFR=/opt/homebrew/opt/mpfr
          else
             GMP=/usr/local/include/gmp
             MPFR=/usr/local/include/mpfr
          fi
          ./autogen.sh
          ./configure --disable-static --with-gmp=$GMP --with-mpfr=$MPFR $CONFIGURE_OPTS
      - name: Compile
        run: make -j $JOBS

      - name: Test
        run: make -j $JOBS check