-
Notifications
You must be signed in to change notification settings - Fork 36
102 lines (100 loc) · 3.75 KB
/
config-options.yml
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
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
name: "Configuration options"
on:
workflow_dispatch:
pull_request:
push:
branches:
- "main"
- "stable-*.*"
jobs:
enable-debug:
runs-on: "ubuntu-latest"
env:
GAPBRANCH: "stable-4.12"
ABI: 64
steps:
- uses: actions/checkout@v3
- name: "Setup ccache"
uses: Chocobo1/setup-ccache-action@v1
with:
update_packager_index: false
override_cache_key: ${{ runner.os }}-$GAPBRANCH-$ABI-${{ github.ref }}
override_cache_key_fallback: ${{ runner.os }}-$GAPBRANCH-$ABI
- name: "Install GAP and clone/compile necessary packages"
uses: gap-actions/setup-gap@v2
env:
# We don't understand why this is necessary. Hopefully it can be
# removed in the fullness of time.
LDFLAGS: "-pthread"
with:
GAP_PKGS_TO_BUILD: "digraphs io orb datastructures profiling"
- name: "Build Semigroups"
uses: gap-actions/build-pkg@v1
with:
CONFIGFLAGS: --disable-hpcombi --enable-debug
- name: "Run Semigroups package's tst/teststandard.g"
uses: gap-actions/run-pkg-tests@v2
enable-hpcombi:
runs-on: "ubuntu-latest"
steps:
- uses: actions/checkout@v3
# Don't use ccache, since sometimes this fails when using -mavx
- name: "Install GAP and clone/compile necessary packages"
uses: gap-actions/setup-gap@v2
with:
GAP_PKGS_TO_BUILD: "digraphs io orb datastructures profiling"
GAPBRANCH: stable-4.12
ABI: 64
- name: "Build Semigroups"
uses: gap-actions/build-pkg@v1
with:
ABI: 64
- name: "Run Semigroups package's tst/teststandard.g"
uses: gap-actions/run-pkg-tests@v2
- uses: gap-actions/process-coverage@v2
- uses: codecov/codecov-action@v2
- name: "Run GAP's tst/testinstall.g"
uses: gap-actions/run-pkg-tests@v2
with:
GAP_TESTFILE: "ci/run-gap-testinstall.g"
with-external-libsemigroups:
runs-on: "ubuntu-latest"
env:
GAPBRANCH: "stable-4.12"
ABI: 64
PKG_CONFIG_PATH: "/home/runner/micromamba/envs/libsemigroups/lib/pkgconfig:/home/runner/micromamba/envs/libsemigroups/share/pkgconfig/"
LD_LIBRARY_PATH: "/home/runner/micromamba/envs/libsemigroups/lib"
DO_NOT_DOWNLOAD_LIBSEMIGROUPS: 1 # prevents prerequisites.sh
defaults:
run:
shell: bash -l {0}
steps:
- uses: actions/checkout@v3
- name: "Install conda environment from environment.yml . . ."
uses: mamba-org/setup-micromamba@v1
with:
environment-file: environment.yml
cache-environment: true
- name: "Activate \"libsemigroups\" environment . . ."
run: micromamba activate libsemigroups
- name: "Setup ccache"
uses: Chocobo1/setup-ccache-action@v1
with:
update_packager_index: false
override_cache_key: ${{ runner.os }}-$GAPBRANCH-$ABI-${{ github.ref }}
override_cache_key_fallback: ${{ runner.os }}-$GAPBRANCH-$ABI
- run: mkdir libsemigroups
- name: "Install GAP and clone/compile necessary packages"
uses: gap-actions/setup-gap@v2
env:
# We don't understand why this is necessary. Hopefully it can be
# removed in the fullness of time.
LDFLAGS: "-pthread"
with:
GAP_PKGS_TO_BUILD: "digraphs io orb datastructures profiling"
- name: "Build Semigroups"
uses: gap-actions/build-pkg@v1
with: # we use --with-external-fmt since this is available from conda
CONFIGFLAGS: --disable-hpcombi --with-external-libsemigroups --enable-fmt --with-external-fmt
- name: "Run Semigroups package's tst/teststandard.g"
uses: gap-actions/run-pkg-tests@v2