db47fe1433
Some checks failed
Build and Test Code / test (push) Successful in 3m39s
Build and Test Code / static_analysis (push) Successful in 3m43s
Build and Test Code / coverage (push) Successful in 3m51s
Build and Test Code / sanitize (push) Successful in 3m37s
Build Docs / build-docs (push) Successful in 3m3s
Build Image / build-dev-image (push) Failing after 2m40s
62 lines
2.4 KiB
Docker
62 lines
2.4 KiB
Docker
FROM gcc:15
|
|
|
|
# Install build tools
|
|
RUN apt-get update && apt-get install -y python3 python3-pip ninja-build clang-format clang-tidy gdb openjdk-21-jdk-headless graphviz git curl zsh \
|
|
&& rm -rf /var/lib/apt/lists/*
|
|
|
|
# Install node for actions
|
|
RUN curl -fsSL https://deb.nodesource.com/setup_current.x | bash - && apt-get install -y nodejs
|
|
|
|
# Install python tools, break-system-packages is needed for debian-based images
|
|
RUN pip install --break-system-packages meson pre-commit commitizen gcovr
|
|
|
|
# Install just
|
|
RUN curl --proto '=https' --tlsv1.2 -sSf https://just.systems/install.sh | bash -s -- --to /usr/bin
|
|
|
|
# Install mold from tarball, as the version in the package manager is very old
|
|
RUN wget -O mold.tar.gz https://github.com/rui314/mold/releases/download/v2.40.4/mold-2.40.4-x86_64-linux.tar.gz && \
|
|
tar -xzf mold.tar.gz && \
|
|
cp -r mold-2.40.4-x86_64-linux/* /usr/local/ && \
|
|
rm -r mold-2.40.4-x86_64-linux && \
|
|
rm mold.tar.gz
|
|
|
|
# Set mold as the default linker
|
|
ENV CC_LD=mold
|
|
ENV CXX_LD=mold
|
|
|
|
# Install plantuml
|
|
RUN wget --progress=bar:force:noscroll https://github.com/plantuml/plantuml/releases/download/v1.2024.3/plantuml-mit-1.2024.3.jar -O /usr/local/bin/plantuml.jar
|
|
|
|
# Install mermaid-cli
|
|
RUN npm install -g @mermaid-js/mermaid-cli
|
|
|
|
# Install latest doxygen
|
|
RUN wget --progress=bar:force:noscroll https://www.doxygen.nl/files/doxygen-1.14.0.linux.bin.tar.gz && \
|
|
tar -xzf doxygen-1.14.0.linux.bin.tar.gz && \
|
|
cd doxygen-1.14.0 && \
|
|
make install && \
|
|
cd .. && \
|
|
rm -r doxygen-1.14.0.linux.bin.tar.gz && \
|
|
rm -r doxygen-1.14.0
|
|
|
|
# Add a user `dev` with UID/GID 1000
|
|
# Set zsh as the default shell for this user
|
|
RUN groupadd -g 1000 dev && \
|
|
useradd -m -u 1000 -g dev -s /bin/zsh dev
|
|
|
|
# Change to non-root user
|
|
USER dev
|
|
|
|
# Set up zsh to not suck
|
|
RUN wget https://github.com/robbyrussell/oh-my-zsh/raw/master/tools/install.sh -O - | zsh || true
|
|
RUN sh -c "$(wget -O- https://github.com/deluan/zsh-in-docker/releases/download/v1.1.5/zsh-in-docker.sh)" -- \
|
|
-t robbyrussell \
|
|
-p https://github.com/zsh-users/zsh-autosuggestions \
|
|
-p https://github.com/zsh-users/zsh-syntax-highlighting \
|
|
-a 'bindkey "^[l" autosuggest-accept'
|
|
|
|
# Set the default shell for the container (optional, since it's already the default for the user)
|
|
# This is more about setting the shell when you exec into the container rather than changing the user's shell
|
|
SHELL ["/bin/zsh", "-c"]
|
|
ENTRYPOINT ["/bin/zsh"]
|