diff options
| author | Felix Morgner <felix.morgner@ost.ch> | 2026-10-22 11:45:10 +0000 |
|---|---|---|
| committer | Felix Morgner <felix.morgner@ost.ch> | 2026-10-22 11:45:10 +0000 |
| commit | 6f0e7101543bf27d44004a6790ef99686f8db3ea (patch) | |
| tree | cd1db9655e8780b310209e6667133d79c0a89046 /.devcontainer/x86-64 | |
| parent | 91190d585d9e385b3ccce29b47d038d750a1c52c (diff) | |
| download | kernel-develop.tar.xz kernel-develop.zip | |
Diffstat (limited to '.devcontainer/x86-64')
| -rw-r--r-- | .devcontainer/x86-64/Containerfile | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/.devcontainer/x86-64/Containerfile b/.devcontainer/x86-64/Containerfile index fe133dc3..cf862de4 100644 --- a/.devcontainer/x86-64/Containerfile +++ b/.devcontainer/x86-64/Containerfile @@ -2,9 +2,11 @@ FROM registry.gitlab.ost.ch:45023/teachos/devcontainers/x86-64:16.2.0-1-py3.14 RUN DEBIAN_FRONTEND=noninteractive apt-get update && apt-get install --yes --no-install-recommends \ acpica-tools \ + ca-certificates \ clangd-22 \ clang-tidy-22 \ cmake \ + curl \ g++-16 \ gcc-16 \ gdb \ @@ -12,7 +14,6 @@ RUN DEBIAN_FRONTEND=noninteractive apt-get update && apt-get install --yes --no- git-lfs \ grub2-common \ grub-pc \ - libcatch2-dev \ locales \ make \ mtools \ @@ -37,3 +38,11 @@ RUN update-alternatives --install /usr/bin/cpp cpp /usr/bin/cpp-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 + +RUN curl -LO https://github.com/catchorg/Catch2/archive/refs/tags/v3.15.3.tar.gz && \ + tar xf v3.15.3.tar.gz && \ + cd Catch2-3.15.3 && \ + cmake -S . -B build -DCMAKE_INSTALL_PREFIX=/usr -DBUILD_TESTING=OFF && \ + cmake --build build --target install --parallel && \ + cd .. && \ + rm -rf Catch2-3.15.3 v3.15.3.tar.gz |