summaryrefslogtreecommitdiffstats
path: root/.gitlab/ci/docker/debian12-aarch64/Dockerfile
diff options
context:
space:
mode:
authorBrad King <brad.king@kitware.com>2023-07-27 17:11:18 (GMT)
committerBrad King <brad.king@kitware.com>2023-07-28 13:14:07 (GMT)
commit9526679bbc882f6eb904a401380cf3d6574ba91a (patch)
treed3594543814040a41794198f50085914fb4d52bf /.gitlab/ci/docker/debian12-aarch64/Dockerfile
parente49ff2b2f27a783226ebabb936a66f8e5a38705c (diff)
downloadCMake-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/Dockerfile26
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