mirror of
https://github.com/djhackersdev/bemanitools.git
synced 2024-11-28 00:10:51 +01:00
f5b8af3f2a
Improve the development experience by providing an additional docker container that can be started and used as an interactive development environment. It provides all the tools and a stable environment for building (identical to the build container).
21 lines
520 B
Docker
21 lines
520 B
Docker
FROM --platform=amd64 debian:11.6-slim@sha256:f7d141c1ec6af549958a7a2543365a7829c2cdc4476308ec2e182f8a7c59b519
|
|
|
|
LABEL description="Development environment for bemanitools"
|
|
|
|
# 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 \
|
|
make \
|
|
zip \
|
|
git \
|
|
clang-format \
|
|
python3-pip \
|
|
&& rm -rf /var/lib/apt/lists/*
|
|
|
|
RUN pip3 install mdformat
|
|
|
|
RUN mkdir /bemanitools
|
|
WORKDIR /bemanitools
|
|
|
|
ENV SHELL /bin/bash |