Skip to content

Commit 1466e84

Browse files
Attempt to resolve semigroups#1059
1 parent 48c553c commit 1466e84

1 file changed

Lines changed: 50 additions & 48 deletions

File tree

.github/workflows/workspaces.yml

Lines changed: 50 additions & 48 deletions
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,7 @@ on:
1212
- "stable-*.*"
1313
schedule:
1414
# Every day at 3:15 AM UTC
15-
- cron: '15 3 * * *'
15+
- cron: "15 3 * * *"
1616

1717
concurrency:
1818
# Group by workflow and ref; the last component ensures that for pull requests
@@ -23,51 +23,53 @@ concurrency:
2323

2424
jobs:
2525
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"
26+
env:
27+
GAP_VERSION: "4.14.0"
28+
GAP_USER_HOME: "/opt/gap"
29+
GAP: "gap -A -T --quitonbreak"
30+
name: "GAP 4.14.0 / ubuntu / 64-bit"
31+
runs-on: ubuntu-latest
32+
container:
33+
image: ghcr.io/gap-system/gap:4.14.0-bare
34+
options: --user gap
35+
volumes:
36+
- ${{ github.workspace }}:${{ eng.GAP_USER_HOME}}/gap-${{ env.GAP_VERSION }}/pkg/Semigroups
37+
steps:
38+
- name: "Checkout the Semigroups GAP package"
3739

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
40+
uses: actions/checkout@v6
41+
- name: "Install git + autotools"
42+
run: |
43+
sudo apt-get --yes update
44+
sudo apt-get install git --yes
45+
sudo apt-get install pkg-config m4 libtool automake autoconf --yes
46+
sudo apt-get install libtool-bin --yes
47+
- name: "Setup ccache"
48+
uses: Chocobo1/setup-ccache-action@v1
49+
with:
50+
update_packager_index: false
51+
override_cache_key: ${{ runner.os }}-v${{ env.GAP_VERSION }}-64-${{ github.ref }}
52+
override_cache_key_fallback: ${{ runner.os }}-v${{ env.GAP_VERSION }}-64
53+
- name: "Build the Semigroups GAP package"
54+
run: |
55+
cd "$GAP_USER_HOME/gap-$GAP_VERSION/pkg/Semigroups"
56+
./prerequisites.sh
57+
./autogen.sh
58+
./configure --disable-hpcombi
59+
make -j4
60+
- name: "Install Semigroups GAP package dependencies"
61+
run: |
62+
echo "LoadPackage(\"PackageManager\"); QuitGap(InstallPackage(\"autodoc\", false));" | $GAP
63+
echo "LoadPackage(\"PackageManager\"); QuitGap(InstallPackage(\"datastructures\", false));" | $GAP
64+
echo "LoadPackage(\"PackageManager\"); QuitGap(InstallPackage(\"digraphs\", false));" | $GAP
65+
echo "LoadPackage(\"PackageManager\"); QuitGap(InstallPackage(\"genss\", false));" | $GAP
66+
echo "LoadPackage(\"PackageManager\"); QuitGap(InstallPackage(\"images\", false));" | $GAP
67+
echo "LoadPackage(\"PackageManager\"); QuitGap(InstallPackage(\"orb\", false) and CompilePackage(\"orb\"));" | $GAP
68+
- name: "Run tst/workspaces/save.g"
69+
run: |
70+
cd "$GAP_USER_HOME/gap-$GAP_VERSION/pkg/Semigroups"
71+
$GAP tst/workspaces/save.g
72+
- name: "Run tst/workspaces/load.g"
73+
run: |
74+
cd "$GAP_USER_HOME/gap-$GAP_VERSION/pkg/Semigroups"
75+
$GAP tst/workspaces/test-output.w tst/workspaces/load.g

0 commit comments

Comments
 (0)