From 0a567d0a1488207bde8e40ec4edae0fb5d717b29 Mon Sep 17 00:00:00 2001 From: Timo Heister Date: Fri, 22 Nov 2024 08:20:47 -0500 Subject: [PATCH] add ci script for arm docker build --- contrib/ci/make-docker-arm-build.sh | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 contrib/ci/make-docker-arm-build.sh diff --git a/contrib/ci/make-docker-arm-build.sh b/contrib/ci/make-docker-arm-build.sh new file mode 100644 index 0000000000..c93a9619d1 --- /dev/null +++ b/contrib/ci/make-docker-arm-build.sh @@ -0,0 +1,22 @@ +#!/bin/bash + +docker system prune -f + +# build arm image: +docker buildx build --no-cache --platform linux/arm64 --output type=registry \ + -t dealii/dealii:master-jammy-arm \ + --build-arg IMG=jammy \ + --build-arg VER=master \ + --build-arg NJOBS=4 \ + github + +# combine images: +docker pull dealii/dealii:master-jammy --platform amd64 +docker tag dealii/dealii:master-jammy dealii/dealii:master-jammy-amd64 +docker push dealii/dealii:master-jammy-amd64 +docker buildx imagetools create -t dealii/dealii:master-jammy \ + dealii/dealii:master-jammy-arm \ + dealii/dealii:master-jammy-amd64 + +# cleanup: +docker system prune -f -- 2.39.5