Skip to content
Snippets Groups Projects

big pile of unrelated changes

Merged Lukas Markeffsky requested to merge next into main
2 files
+ 25
30
Compare changes
  • Side-by-side
  • Inline
Files
2
# syntax=docker/dockerfile:1
FROM debian:stable
ENV PATH=/root/.cargo/bin:/usr/bin:/bin
RUN apt-get update; \
RUN \
apt-get update && \
apt-get install -y --no-install-recommends \
build-essential ca-certificates curl fdisk dosfstools mtools qemu-system-x86 ovmf git \
texlive texlive-luatex texlive-latex-extra texlive-bibtex-extra texlive-lang-german latexmk biber qpdf; \
curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y --no-modify-path \
--default-toolchain nightly --component rust-src --component miri \
--target x86_64-unknown-none --target x86_64-unknown-uefi; \
cargo miri setup; \
build-essential \
ca-certificates \
curl \
fdisk \
dosfstools \
mtools \
qemu-system-x86 \
ovmf \
git \
texlive \
texlive-luatex \
texlive-latex-extra \
texlive-bibtex-extra \
texlive-lang-german \
latexmk \
biber \
qpdf && \
curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y \
--no-modify-path \
--default-toolchain nightly \
--component rust-src miri \
--target x86_64-unknown-none x86_64-unknown-uefi && \
cargo miri setup && \
cargo install mdbook
Loading