machines: add Alpine 3.20

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

machines/Dockerfile-alpine3.20

@@ -0,0 +1,88 @@
+FROM alpine:3.20
+LABEL Description="Alpine Linux 3.20 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 \
+        openjdk11 \
+        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-11-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 13.2.1_git20240309) 13.2.1 20240309
+#       clang: Alpine clang version 17.0.6
+#       x86_64-w64-mingw32-gcc: x86_64-w64-mingw32-gcc (GCC) 13.2.0
+#       Linux kernel: 6.6.45-0-lts
+#       /lib/ld-musl-x86_64.so.1: musl libc (x86_64) Version 1.2.5
+#       python: Python 3.12.3
+#       python3: Python 3.12.3
+#       javac: javac 11.0.24
+#       java: openjdk 11.0.24 2024-07-16
+#       rustc: rustc 1.78.0 (9b00956e5 2024-04-29) (Alpine Linux 1.78.0-r0)
+#       cargo: cargo 1.78.0
+#       openssl: OpenSSL 3.3.1 4 Jun 2024 (Library: OpenSSL 3.3.1 4 Jun 2024)

machines/get_base_name.sh

@@ -67,6 +67,9 @@ do
         *alpine319*|*alpine3.19*)
             echo "alpine3.19"
             ;;
+        *alpine320*|*alpine3.20*)
+            echo "alpine3.20"
+            ;;
 
         *debian10*|*buster*)
             echo "debian10-buster"

machines/image_tags.json

@@ -9,6 +9,7 @@
   "alpine:3.17",
   "alpine:3.18",
   "alpine:3.19",
+  "alpine:3.20",
   "alpine:3.3",
   "alpine:3.4",
   "alpine:3.5",