forked from libsemigroups/libsemigroups
-
Notifications
You must be signed in to change notification settings - Fork 1
93 lines (91 loc) · 4.15 KB
/
downstream.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
name: "Downstream"
on:
workflow_dispatch:
pull_request:
push:
branches:
- "main"
- "stable-*.*"
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
jobs:
GAP:
env:
GAP_VERSION: "4.12.2"
GAP_SEMIGROUPS_REPO: "james-d-mitchell"
GAP_SEMIGROUPS_BRANCH: "libsemigroups-v3"
GAP: "gap -A -T --quitonbreak"
name: GAP 4.12.2 / Semigroups / libsemigroups-v3 / ubuntu / 64-bit
runs-on: ubuntu-latest
container:
image: jamesdbmitchell/gap-docker-minimal:version-4.12.2
options: --user root
volumes:
- ${{ github.workspace }}:/home/libsemigroups
steps:
- name: "Checkout libsemigroups"
uses: actions/checkout@v3
- name: "Install git + autotools"
run: |
sudo apt-get --yes update
sudo apt-get install git --yes
sudo apt-get install pkg-config m4 libtool automake autoconf --yes
sudo apt-get install libtool-bin --yes
- name: "Setup ccache"
uses: Chocobo1/setup-ccache-action@v1
with:
update_packager_index: false
override_cache_key: ${{ runner.os }}-v4.12.2-64-${{ github.ref }}
override_cache_key_fallback: ${{ runner.os }}-v4.12.2-64
- name: "Clone the Semigroups GAP package"
run: |
rm -rf /home/gap/inst/gap-$GAP_VERSION/pkg/semigroups-*.*.*
cd /home/gap/inst/gap-$GAP_VERSION/pkg
git clone -b $GAP_SEMIGROUPS_BRANCH --depth=1 https://github.com/$GAP_SEMIGROUPS_REPO/Semigroups.git Semigroups
cp -r /home/libsemigroups Semigroups
- name: "Build the Semigroups GAP package"
run: |
cd /home/gap/inst/gap-$GAP_VERSION/pkg/Semigroups
cp .LIBSEMIGROUPS_VERSION libsemigroups/.VERSION # FIXME
./autogen.sh
./configure
make -j4
# TODO uncomment, we are only checking compilation at present
# - name: "Install Semigroups GAP package dependencies"
# run: |
# echo "LoadPackage(\"PackageManager\"); QuitGap(InstallPackage(\"autodoc\", false));" | $GAP
# echo "LoadPackage(\"PackageManager\"); QuitGap(InstallPackage(\"datastructures\", false));" | $GAP
# echo "LoadPackage(\"PackageManager\"); QuitGap(InstallPackage(\"digraphs\", false));" | $GAP
# echo "LoadPackage(\"PackageManager\"); QuitGap(InstallPackage(\"genss\", false));" | $GAP
# echo "LoadPackage(\"PackageManager\"); QuitGap(InstallPackage(\"images\", false));" | $GAP
# echo "LoadPackage(\"PackageManager\"); QuitGap(InstallPackage(\"orb\", false) and CompilePackage(\"orb\"));" | $GAP
# - name: "Run Semigroups GAP package workspace tests"
# run: |
# cd /home/gap/inst/gap-$GAP_VERSION/pkg/Semigroups
# $GAP tst/workspaces/save.g
# $GAP -L tst/workspaces/test-output.w tst/workspaces/load.g
# - name: "Run Semigroups GAP package standard tests"
# run: |
# cd /home/gap/inst/gap-4.12.2/pkg/Semigroups
# $GAP tst/teststandard.g
# - name: "Run GAP testinstall"
# run: |
# cd /home/gap/inst/gap-$GAP_VERSION/pkg/Semigroups
# $GAP ci/run-gap-testinstall.g
# - name: "Run GAP teststandard"
# run: |
# cd /home/gap/inst/gap-$GAP_VERSION/
# rm -f tst/teststandard/ctblsymm.tst
# cd pkg/Semigroups
# $GAP ci/run-gap-teststandard.g
# - name: "Run GAP testbugfix"
# run: |
# cd /home/gap/inst/gap-$GAP_VERSION/
# rm -f tst/testbugfix/2005-05-03-t00061.tst
# rm -f tst/testbugfix/2016-03-03-t00332.tst
# rm -f tst/testbugfix/2018-05-24-IntermediateSubgroups.tst
# rm -f tst/testbugfix/2018-09-13-MTC.tst
# rm -f tst/testbugfix/2018-12-06-GroupWithGenerators.tst
# cd pkg/Semigroups
# $GAP ci/run-gap-testbugfix.g