2023-03-26 23:57:26 +02:00
|
|
|
FROM --platform=amd64 debian:11.6-slim@sha256:f7d141c1ec6af549958a7a2543365a7829c2cdc4476308ec2e182f8a7c59b519
|
2020-05-11 00:23:53 +02:00
|
|
|
|
2024-02-25 09:14:42 +01:00
|
|
|
LABEL description="Development environment for bemanitools"
|
2020-05-11 00:23:53 +02:00
|
|
|
|
2023-03-26 23:57:26 +02:00
|
|
|
# mingw-w64-gcc has 32-bit and 64-bit toolchains
|
|
|
|
RUN apt-get update && apt-get install -y --no-install-recommends \
|
|
|
|
mingw-w64 \
|
|
|
|
mingw-w64-common \
|
2020-05-11 00:23:53 +02:00
|
|
|
make \
|
|
|
|
zip \
|
2023-03-26 23:57:26 +02:00
|
|
|
git \
|
2024-02-25 09:14:42 +01:00
|
|
|
clang-format \
|
|
|
|
python3-pip \
|
2023-03-26 23:57:26 +02:00
|
|
|
&& rm -rf /var/lib/apt/lists/*
|
2020-05-11 00:23:53 +02:00
|
|
|
|
2024-02-25 09:14:42 +01:00
|
|
|
RUN pip3 install mdformat
|
|
|
|
|
2020-05-11 00:23:53 +02:00
|
|
|
RUN mkdir /bemanitools
|
|
|
|
WORKDIR /bemanitools
|
|
|
|
|
2024-02-25 09:14:42 +01:00
|
|
|
ENV SHELL /bin/bash
|