Skip to content

Commit ce28b61

Browse files
james-d-mitchelljames-d-mitchell
committed
Resolve issue 1059 (semigroups#1151)
1 parent cc31d92 commit ce28b61

1 file changed

Lines changed: 51 additions & 53 deletions

File tree

‎.github/workflows/workspaces.yml‎

Lines changed: 51 additions & 53 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,3 @@
1-
# This is temporary until/if:
2-
# https://github.com/gap-actions/run-pkg-tests/pull/24
3-
# is merged, or something equivalent, then remove the script ci/run-tests.sh,
4-
# and use the save/load.g files as commented out below
51
name: "Workspaces"
62
on:
73
workflow_dispatch:
@@ -12,7 +8,7 @@ on:
128
- "stable-*.*"
139
schedule:
1410
# Every day at 3:15 AM UTC
15-
- cron: '15 3 * * *'
11+
- cron: "15 3 * * *"
1612

1713
concurrency:
1814
# Group by workflow and ref; the last component ensures that for pull requests
@@ -23,51 +19,53 @@ concurrency:
2319

2420
jobs:
2521
workspaces:
26-
env:
27-
GAP_VERSION: "4.12.2"
28-
name: "GAP 4.12.2 / ubuntu / 64-bit"
29-
runs-on: ubuntu-latest
30-
container:
31-
image: jamesdbmitchell/gap-docker-minimal:version-4.12.2
32-
options: --user root
33-
volumes:
34-
- ${{ github.workspace }}:/home/gap/inst/gap-4.12.2/pkg/Semigroups
35-
steps:
36-
- name: "Checkout the Semigroups GAP package"
37-
38-
uses: actions/checkout@v6
39-
- name: "Install git + autotools"
40-
run: |
41-
sudo apt-get --yes update
42-
sudo apt-get install git --yes
43-
sudo apt-get install pkg-config m4 libtool automake autoconf --yes
44-
sudo apt-get install libtool-bin --yes
45-
- name: "Setup ccache"
46-
uses: Chocobo1/setup-ccache-action@v1
47-
with:
48-
update_packager_index: false
49-
override_cache_key: ${{ runner.os }}-v4.12.2-64-${{ github.ref }}
50-
override_cache_key_fallback: ${{ runner.os }}-v4.12.2-64
51-
- name: "Build the Semigroups GAP package"
52-
run: |
53-
cd /home/gap/inst/gap-4.12.2/pkg/Semigroups
54-
./prerequisites.sh
55-
./autogen.sh
56-
./configure --disable-hpcombi
57-
make -j4
58-
- name: "Install Semigroups GAP package dependencies"
59-
run: |
60-
echo "LoadPackage(\"PackageManager\"); QuitGap(InstallPackage(\"autodoc\", false));" | gap -A -T --quitonbteak
61-
echo "LoadPackage(\"PackageManager\"); QuitGap(InstallPackage(\"datastructures\", false));" | gap -A -T --quitonbteak
62-
echo "LoadPackage(\"PackageManager\"); QuitGap(InstallPackage(\"digraphs\", false));" | gap -A -T --quitonbteak
63-
echo "LoadPackage(\"PackageManager\"); QuitGap(InstallPackage(\"genss\", false));" | gap -A -T --quitonbteak
64-
echo "LoadPackage(\"PackageManager\"); QuitGap(InstallPackage(\"images\", false));" | gap -A -T --quitonbteak
65-
echo "LoadPackage(\"PackageManager\"); QuitGap(InstallPackage(\"orb\", false) and CompilePackage(\"orb\"));" | gap -A -T --quitonbteak
66-
- name: "Run tst/workspaces/save.g"
67-
run: |
68-
cd /home/gap/inst/gap-4.12.2/pkg/Semigroups
69-
gap -A -T --quitonbreak tst/workspaces/save.g
70-
- name: "Run tst/workspaces/load.g"
71-
run: |
72-
cd /home/gap/inst/gap-4.12.2/pkg/Semigroups
73-
gap -A -T --quitonbreak -L tst/workspaces/test-output.w tst/workspaces/load.g
22+
env:
23+
GAP_VERSION: "4.14.0"
24+
GAP_USER_HOME: "/opt/gap"
25+
GAP: "gap -A -T --quitonbreak"
26+
name: "GAP 4.14.0 / ubuntu / 64-bit"
27+
runs-on: ubuntu-latest
28+
container:
29+
image: ghcr.io/gap-system/gap:4.14.0-slim
30+
options: --user root
31+
volumes:
32+
- ${{ github.workspace }}:/opt/gap/gap-4.14.0/pkg/Semigroups
33+
steps:
34+
- name: "Checkout the Semigroups GAP package"
35+
uses: actions/checkout@v6
36+
- name: "Install git + autotools"
37+
run: |
38+
apt-get --yes update
39+
apt-get install git --yes
40+
apt-get install pkg-config m4 libtool automake autoconf --yes
41+
apt-get install libtool-bin build-essential --yes
42+
- name: "Setup ccache"
43+
uses: Chocobo1/setup-ccache-action@v1
44+
with:
45+
update_packager_index: false
46+
override_cache_key: ${{ runner.os }}-v${{ env.GAP_VERSION }}-64-${{ github.ref }}
47+
override_cache_key_fallback: ${{ runner.os }}-v${{ env.GAP_VERSION }}-64
48+
- name: "Build the Semigroups GAP package"
49+
run: |
50+
cd "$GAP_USER_HOME/gap-$GAP_VERSION/pkg/Semigroups"
51+
./prerequisites.sh
52+
./autogen.sh
53+
./configure --disable-hpcombi
54+
make -j4
55+
- name: "Install Semigroups GAP package dependencies"
56+
run: |
57+
echo "LoadPackage(\"PackageManager\"); QuitGap(InstallPackage(\"gapdoc\", false));" | $GAP --bare
58+
echo "LoadPackage(\"PackageManager\"); QuitGap(InstallPackage(\"autodoc\", false));" | $GAP
59+
echo "LoadPackage(\"PackageManager\"); QuitGap(InstallPackage(\"datastructures\", false));" | $GAP
60+
echo "LoadPackage(\"PackageManager\"); QuitGap(InstallPackage(\"digraphs\", false));" | $GAP
61+
echo "LoadPackage(\"PackageManager\"); QuitGap(InstallPackage(\"genss\", false));" | $GAP
62+
echo "LoadPackage(\"PackageManager\"); QuitGap(InstallPackage(\"images\", false));" | $GAP
63+
echo "LoadPackage(\"PackageManager\"); QuitGap(InstallPackage(\"orb\", false) and CompilePackage(\"orb\"));" | $GAP
64+
- name: "Run tst/workspaces/save.g"
65+
run: |
66+
cd "$GAP_USER_HOME/gap-$GAP_VERSION/pkg/Semigroups"
67+
$GAP tst/workspaces/save.g
68+
- name: "Run tst/workspaces/load.g"
69+
run: |
70+
cd "$GAP_USER_HOME/gap-$GAP_VERSION/pkg/Semigroups"
71+
$GAP -L tst/workspaces/test-output.w tst/workspaces/load.g

0 commit comments

Comments
 (0)