machines: add Alpine 3.22

https://alpinelinux.org/posts/Alpine-3.22.0-released.html

Author: fishilico

machines/Dockerfile-alpine3.22

@@ -0,0 +1,88 @@
+FROM alpine:3.22
+LABEL Description="Alpine Linux 3.22 with build dependencies for shared"
+
+# Alpine does not provide coq
+RUN \
+    apk --no-cache --update add \
+        cargo \
+        clang \
+        clang-dev \
+        gcc \
+        gdb \
+        gmp-dev \
+        gtk+3.0-dev \
+        iproute2 \
+        libmnl-dev \
+        linux-headers \
+        linux-lts-dev \
+        llvm-dev \
+        make \
+        mingw-w64-gcc \
+        musl-dev \
+        musl-utils \
+        nss \
+        openjdk21 \
+        openmp-dev \
+        openssh \
+        openssl \
+        openssl-dev \
+        pulseaudio-dev \
+        py3-cffi \
+        py3-cryptography \
+        py3-numpy \
+        py3-pillow \
+        py3-setuptools \
+        py3-pycryptodomex \
+        py3-pynacl \
+        py3-z3 \
+        python3-dev \
+        sdl2-dev \
+        z3-dev && \
+    rm -rf /var/cache/apk/*
+
+# Add OpenJDK to $PATH
+ENV JAVA_HOME=/usr/lib/jvm/java-21-openjdk
+ENV PATH="${JAVA_HOME}/bin:${PATH}"
+
+WORKDIR /shared
+RUN ln -s shared/machines/run_shared_test.sh /run_shared_test.sh
+COPY . /shared/
+
+CMD ["/run_shared_test.sh"]
+
+# make list-nobuild:
+#    Global blacklist: latex%
+#    In sub-directories:
+#       c: x86-read_64b_regs_in_32b_mode
+#       glossaries:
+#       java/keystore:
+#       linux:
+#       python:
+#       python/crypto:
+#       python/network:
+#       python/network/dnssec:
+#       python/processor:
+#       python/qrcode:
+#       rust:
+#       verification: ackermann.vo
+#    Compilers:
+#       gcc -m64: ok
+#       gcc -m32: not working
+#       clang -m64: ok
+#       clang -m32: not working
+#       musl-gcc: not working
+#       x86_64-w64-mingw32-gcc: only compiling
+#       i686-w64-mingw32-gcc: not working
+#    Versions:
+#       gcc: gcc (Alpine 14.2.0) 14.2.0
+#       clang: Alpine clang version 20.1.6
+#       x86_64-w64-mingw32-gcc: x86_64-w64-mingw32-gcc (GCC) 14.2.0
+#       Linux kernel: 6.12.31-0-lts
+#       /lib/ld-musl-x86_64.so.1: musl libc (x86_64) Version 1.2.5
+#       python: Python 3.12.10
+#       python3: Python 3.12.10
+#       javac: javac 21.0.7
+#       java: openjdk 21.0.7 2025-04-15
+#       rustc: rustc 1.87.0 (17067e9ac 2025-05-09) (Alpine Linux 1.87.0-r0)
+#       cargo: cargo 1.87.0 (99624be96 2025-05-06) (Alpine Linux 1.87.0-r0)
+#       openssl: OpenSSL 3.5.0 8 Apr 2025 (Library: OpenSSL 3.5.0 8 Apr 2025)

machines/get_base_name.sh

@@ -73,6 +73,9 @@ do
         *alpine321*|*alpine3.21*)
             echo "alpine3.21"
             ;;
+        *alpine322*|*alpine3.22*)
+            echo "alpine3.22"
+            ;;
 
         *debian10*|*buster*)
             echo "debian10-buster"

machines/image_tags.json

@@ -11,6 +11,7 @@
   "alpine:3.19",
   "alpine:3.20",
   "alpine:3.21",
+  "alpine:3.22",
   "alpine:3.3",
   "alpine:3.4",
   "alpine:3.5",