File tree Expand file tree Collapse file tree
src/dockerfiles/ubuntu-2204-lts Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -26,10 +26,13 @@ jobs:
2626 attestations : write
2727 id-token : write
2828 strategy :
29- fail-fast : false
29+ fail-fast : true
3030 matrix :
3131 image :
3232 - ubuntu-2204-lts
33+ gap-build :
34+ - full
35+ - slim
3336 gap-version :
3437 - 4.13.1
3538 - 4.13.0
8588 cache-to : type=gha,mode=max`
8689 build-args : |
8790 PLATFORM=${{ matrix.platform }}
91+ GAP_BUILD=${{ matrix.gap-build }}
8892 GAP_VERSION=${{ matrix.gap-version }}
Original file line number Diff line number Diff line change 11ARG PLATFORM="linux/arm64"
22
33# # {{{
4+ ARG GAP_BUILD="slim"
45ARG GAP_VERSION="4.13.1"
56# # }}}
67
@@ -38,6 +39,7 @@ RUN groupadd --system --gid ${GAP_USER_GID} ${GAP_USER_GROUPNAME} && \
3839
3940
4041FROM base AS build
42+ ARG GAP_BUILD
4143ARG GAP_VERSION
4244ARG GAP_DOWNLOAD_URL
4345ARG GAP_DOWNLOAD_TARBALL_NAME
@@ -73,6 +75,8 @@ WORKDIR "./gap-${GAP_VERSION}"
7375RUN ./configure && \
7476 MAKEFLAGS=-j8 make
7577
78+ RUN [[ ${GAP_BUILD} == "slim" ]] || cd ./pkg/ && ../bin/BuildPackages.sh
79+
7680FROM base AS result
7781ARG GAP_VERSION
7882ARG GAP_USER_HOMEDIR
You can’t perform that action at this time.
0 commit comments