diff options
author | Brad King <brad.king@kitware.com> | 2023-07-27 17:11:18 (GMT) |
---|---|---|
committer | Brad King <brad.king@kitware.com> | 2023-07-28 13:14:07 (GMT) |
commit | 9526679bbc882f6eb904a401380cf3d6574ba91a (patch) | |
tree | d3594543814040a41794198f50085914fb4d52bf /.gitlab/ci/docker/debian12-aarch64/Dockerfile | |
parent | e49ff2b2f27a783226ebabb936a66f8e5a38705c (diff) | |
download | CMake-9526679bbc882f6eb904a401380cf3d6574ba91a.zip CMake-9526679bbc882f6eb904a401380cf3d6574ba91a.tar.gz CMake-9526679bbc882f6eb904a401380cf3d6574ba91a.tar.bz2 |
ci: Update base images to Debian 12
Diffstat (limited to '.gitlab/ci/docker/debian12-aarch64/Dockerfile')
-rw-r--r-- | .gitlab/ci/docker/debian12-aarch64/Dockerfile | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/.gitlab/ci/docker/debian12-aarch64/Dockerfile b/.gitlab/ci/docker/debian12-aarch64/Dockerfile new file mode 100644 index 0000000..58b5e0e --- /dev/null +++ b/.gitlab/ci/docker/debian12-aarch64/Dockerfile @@ -0,0 +1,26 @@ +# syntax=docker/dockerfile:1 + +ARG BASE_IMAGE=arm64v8/debian:12 + +FROM ${BASE_IMAGE} AS apt-cache +# Populate APT cache w/ the fresh metadata and prefetch packages. +# Use an empty `docker-clean` file to "hide" the image-provided +# file to disallow removing packages after `apt-get` operations. +RUN --mount=type=tmpfs,target=/var/log \ + --mount=type=bind,source=docker-clean,target=/etc/apt/apt.conf.d/docker-clean \ + --mount=type=bind,source=deps_packages.lst,target=/root/deps_packages.lst \ + apt-get update \ + && apt-get --download-only -y install $(grep -h '^[^#]\+$' /root/*.lst) + +FROM ${BASE_IMAGE} +LABEL maintainer="Brad King <brad.king@kitware.com>" + +RUN --mount=type=bind,source=install_deps.sh,target=/root/install_deps.sh \ + --mount=type=bind,source=deps_packages.lst,target=/root/deps_packages.lst \ + --mount=type=bind,source=dpkg-exclude,target=/etc/dpkg/dpkg.cfg.d/exclude \ + --mount=type=bind,source=docker-clean,target=/etc/apt/apt.conf.d/docker-clean \ + --mount=type=cache,from=apt-cache,source=/var/lib/apt/lists,target=/var/lib/apt/lists \ + --mount=type=cache,from=apt-cache,source=/var/cache/apt,target=/var/cache/apt,sharing=private \ + --mount=type=tmpfs,target=/var/log \ + --mount=type=tmpfs,target=/tmp \ + sh /root/install_deps.sh |