Dockerfile.arch-rolling

# Dockerfile for Arch rolling release GNAT

FROM archlinux

# Start with forcing an up-to-date-rolling distro with updated credentials
RUN pacman-key --init && \
    pacman -Syy --noconfirm && \
    pacman -S --noconfirm archlinux-keyring && \
    pacman -Suyy --noconfirm

# First curl is a temporary workaround for https://www.reddit.com/r/archlinux/comments/lek2ba/arch_linux_on_docker_ci_could_not_find_or_read/
# RUN curl -fsSL "https://repo.archlinuxcn.org/x86_64/glibc-linux4-2.33-4-x86_64.pkg.tar.zst" | bsdtar -C / -xvf -

RUN pacman --noconfirm -Syu \
    base-devel \
    bash \
    curl \
    git \
    gcc-ada \
    jq \
    make \
    mercurial \
    python \
    python-pip \
    rsync \
    subversion \
    sudo \
    unzip \
    wget \
    fakeroot

# gprbuild is not in official Arch repositories : it must be built separately from AUR

# Add a 'build' user to be able to create the package
RUN useradd --no-create-home --shell=/bin/false build && usermod -L build
RUN echo "build ALL=(ALL) NOPASSWD: ALL" >> /etc/sudoers
RUN echo "root ALL=(ALL) NOPASSWD: ALL" >> /etc/sudoers

# Force generation of .tar.zst packages
RUN echo "PKGEXT='.pkg.tar.zst'" >> /etc/makepkg.conf

# Build the package as 'build' user
USER build
RUN cd /tmp && \
    git clone https://aur.archlinux.org/gprbuild-bootstrap.git && \
    cd /tmp/gprbuild-bootstrap && \
    makepkg -s

# Install the package as 'root' user
USER root
RUN pacman --noconfirm -U /tmp/gprbuild-bootstrap/*.pkg.tar.zst

RUN cat /etc/os-release && \
    gnat --version && \
    gprbuild --version