| FROM docker.io/library/ubuntu:24.04 | |
| # MPFR is required by some of the mathlib tests. | |
| RUN apt-get update && \ | |
| apt-get install -y \ | |
| git \ | |
| libmpfr-dev \ | |
| libgmp-dev \ | |
| libmpc-dev \ | |
| ninja-build \ | |
| sudo \ | |
| sccache \ | |
| wget \ | |
| lsb-release \ | |
| software-properties-common \ | |
| gnupg \ | |
| cmake \ | |
| linux-libc-dev && \ | |
| apt-get clean && \ | |
| rm -rf /var/lib/apt/lists/* | |
| RUN wget https://apt.llvm.org/llvm.sh && \ | |
| chmod +x llvm.sh && \ | |
| sudo ./llvm.sh 23 && \ | |
| rm llvm.sh | |
| # Debian has a multilib setup, so we need to symlink the asm directory. | |
| # For more information, see https://wiki.debian.org/Multiarch/LibraryPathOverview | |
| RUN ln -sf /usr/include/$(uname -p)-linux-gnu/asm /usr/include/asm | |
| # Create a new user to avoid test failures related to a lack of expected | |
| # permissions issues in some tests. Set the user id to 1001 as that is the | |
| # user id that Github Actions uses to perform the checkout action. | |
| RUN useradd gha -u 1001 -m -s /bin/bash | |
| # Also add the user to passwordless sudoers so that we can install software | |
| # later on without having to rebuild the container. | |
| RUN adduser gha sudo | |
| RUN echo '%sudo ALL=(ALL) NOPASSWD:ALL' >> /etc/sudoers | |
| USER gha | |
| WORKDIR /home/gha |