# Rebuild this file with `make docker.debian12.regen`
#
ARG from=debian:bookworm
-FROM ${from} as build
+FROM ${from} AS build
ARG DEBIAN_FRONTEND=noninteractive
# Rebuild this file with `make crossbuild.debian12.regen`
#
ARG from=debian:bookworm
-FROM ${from} as build
+FROM ${from} AS build
SHELL ["/usr/bin/nice", "-n", "5", "/usr/bin/ionice", "-c", "3", "/bin/sh", "-x", "-c"]
+
#
# Install some extra packages
#
# Rebuild this file with `make docker.debiansid.regen`
#
ARG from=debian:sid
-FROM ${from} as build
+FROM ${from} AS build
ARG DEBIAN_FRONTEND=noninteractive
# Rebuild this file with `make crossbuild.debiansid.regen`
#
ARG from=debian:sid
-FROM ${from} as build
+FROM ${from} AS build
SHELL ["/usr/bin/nice", "-n", "5", "/usr/bin/ionice", "-c", "3", "/bin/sh", "-x", "-c"]
# Rebuild this file with `make docker.rocky10.regen`
#
ARG from=rockylinux/rockylinux:10
-FROM ${from} as build
+FROM ${from} AS build
# Rebuild this file with `make crossbuild.rocky10.regen`
#
ARG from=rockylinux/rockylinux:10
-FROM ${from} as build
+FROM ${from} AS build
#
# Install devtools like make and git and the EPEL
# Rebuild this file with `make docker.rocky9.regen`
#
ARG from=rockylinux/rockylinux:9
-FROM ${from} as build
+FROM ${from} AS build
RUN rpmkeys --import /etc/pki/rpm-gpg/RPM-GPG-KEY-Rocky-9
+
#
# Install build tools
#
# Rebuild this file with `make crossbuild.rocky9.regen`
#
ARG from=rockylinux/rockylinux:9
-FROM ${from} as build
+FROM ${from} AS build
#
# Install devtools like make and git and the EPEL
# Rebuild this file with `make docker.ubuntu22.regen`
#
ARG from=ubuntu:22.04
-FROM ${from} as build
+FROM ${from} AS build
ARG DEBIAN_FRONTEND=noninteractive
# Rebuild this file with `make crossbuild.ubuntu22.regen`
#
ARG from=ubuntu:22.04
-FROM ${from} as build
+FROM ${from} AS build
SHELL ["/usr/bin/nice", "-n", "5", "/usr/bin/ionice", "-c", "3", "/bin/sh", "-x", "-c"]
+
#
# Install some extra packages
#
# Rebuild this file with `make docker.ubuntu24.regen`
#
ARG from=ubuntu:24.04
-FROM ${from} as build
+FROM ${from} AS build
ARG DEBIAN_FRONTEND=noninteractive
# Rebuild this file with `make crossbuild.ubuntu24.regen`
#
ARG from=ubuntu:24.04
-FROM ${from} as build
+FROM ${from} AS build
SHELL ["/usr/bin/nice", "-n", "5", "/usr/bin/ionice", "-c", "3", "/bin/sh", "-x", "-c"]
+
#
# Install some extra packages
#
ARG from=DOCKER_IMAGE
-FROM ${from} as build
+FROM ${from} AS build
SHELL ["/usr/bin/nice", "-n", "5", "/usr/bin/ionice", "-c", "3", "/bin/sh", "-x", "-c"]
ARG from=DOCKER_IMAGE
-FROM ${from} as build
+FROM ${from} AS build
#
# Install devtools like make and git and the EPEL
ARG from=DOCKER_IMAGE
-FROM ${from} as build
+FROM ${from} AS build
ARG DEBIAN_FRONTEND=noninteractive
ARG from=DOCKER_IMAGE
-FROM ${from} as build
+FROM ${from} AS build
ifelse(OS_VER, 8, `dnl
RUN rpmkeys --import /etc/pki/rpm-gpg/RPM-GPG-KEY-rockyofficial