Add Ubuntu 24.04 Dockerfile

resources/docker_files/build.sh

@@ -22,6 +22,7 @@ build () {
     fi
     tag="$("$list_sh" "$1")"
     sudo docker build --network=host -t "$tag" -f "$1" "${1%/*}"
+    echo "Built $tag"
 }
 
 for d in "$@"; do

resources/docker_files/list-docker-image-tags.sh

@@ -6,21 +6,27 @@
 
 set -e
 
-list () {
+arch=$(uname -m)
+case $arch in
+    aarch64) arch=arm64;;
+    x86_64) arch=amd64;;
+esac
+
+list_one_dockerfile () {
     dir="${1%/Dockerfile}"
     dir="${dir%/}"
     hash="$(git hash-object "$dir/Dockerfile")"
     base="$(basename -- "$dir")"
-    echo "$base-$hash-amd64"
-    if [ "$base" != "arm-compilers" ]; then
-        echo "$base-$hash-arm64"
+    if [ "$base" = "arm-compilers" ] && [ "$arch" != "amd64" ]; then
+        continue
     fi
+    echo "$base-$hash-$arch"
 }
 
 if [ $# -eq 0 ]; then
     set -- "$(dirname -- "$0")"/*/Dockerfile
 fi
 
 for d in "$@"; do
-    list "$d"
+    list_one_dockerfile "$d"
 done