2023-10-09 09:17:14 +00:00
|
|
|
ARG DEBIAN_FRONTEND=noninteractive
|
2023-10-08 01:37:18 +00:00
|
|
|
FROM ubuntu:22.04
|
2023-10-09 07:51:38 +00:00
|
|
|
ENV PATH="/root/.cargo/bin:${PATH}"
|
2023-10-08 01:37:18 +00:00
|
|
|
|
|
|
|
|
RUN apt update -y && apt install -y --no-install-recommends \
|
2023-10-09 07:51:38 +00:00
|
|
|
build-essential \
|
|
|
|
|
ca-certificates \
|
|
|
|
|
clangd \
|
|
|
|
|
curl \
|
|
|
|
|
direnv \
|
|
|
|
|
git \
|
|
|
|
|
libomp-dev \
|
2023-10-23 00:38:42 +00:00
|
|
|
libopenmpi-dev \
|
|
|
|
|
openmpi-bin \
|
2023-10-09 09:17:14 +00:00
|
|
|
pandoc \
|
2023-10-23 00:38:42 +00:00
|
|
|
pkg-config \
|
2023-10-09 07:51:38 +00:00
|
|
|
python3 \
|
|
|
|
|
python3-pip \
|
2023-10-09 09:17:14 +00:00
|
|
|
texlive-latex-base \
|
|
|
|
|
texlive-latex-extra \
|
2023-10-09 07:51:38 +00:00
|
|
|
valgrind \
|
|
|
|
|
;
|
|
|
|
|
RUN pip install poetry
|
|
|
|
|
|
|
|
|
|
RUN curl https://sh.rustup.rs -sSf | bash -s -- -y
|
|
|
|
|
RUN echo 'eval "$(direnv hook bash)"' >> /root/.bashrc
|
