From: Timo Heister <timo.heister@gmail.com>
Date: Fri, 22 Nov 2024 13:20:47 +0000 (-0500)
Subject: add ci script for arm docker build
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F17881%2Fhead;p=dealii.git

add ci script for arm docker build
---

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