blob: 87a33b8344286890eaf61a6f418ed39a801e2269 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
FROM registry.gitlab.ost.ch:45023/teachos/devcontainers/x86-64:16.1.0-3-py3.14
RUN DEBIAN_FRONTEND=noninteractive apt-get update && apt-get install --yes --no-install-recommends \
acpica-tools \
clangd-22 \
clang-tidy-22 \
cmake \
g++-16 \
gcc-16 \
gdb \
git \
git-lfs \
grub2-common \
grub-pc \
locales \
mtools \
ninja-build \
python3-poetry \
qemu-system-x86 \
ssh \
wget \
xorriso \
&& rm -rf /var/lib/apt/lists/*
RUN sed -i -e 's/# en_US.UTF-8 UTF-8/en_US.UTF-8 UTF-8/' /etc/locale.gen && \
dpkg-reconfigure --frontend=noninteractive locales && \
update-locale LANG=en_US.UTF-8
RUN update-alternatives --install /usr/bin/cpp cpp /usr/bin/cpp-16 100 && \
update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-16 100 && \
update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-16 100 && \
update-alternatives --install /usr/bin/gcc-ar gcc-ar /usr/bin/gcc-ar-16 100 && \
update-alternatives --install /usr/bin/gcc-nm gcc-nm /usr/bin/gcc-nm-16 100 && \
update-alternatives --install /usr/bin/gcc-ranlib gcc-ranlib /usr/bin/gcc-ranlib-16 100 && \
update-alternatives --install /usr/bin/gcov gcov /usr/bin/gcov-16 100 && \
update-alternatives --install /usr/bin/clangd clangd /usr/bin/clangd-22 100 && \
update-alternatives --install /usr/bin/clang-tidy clang-tidy /usr/bin/clang-tidy-22 100
|