mirror of
https://github.com/djhackersdev/bemanitools.git
synced 2024-12-18 01:05:52 +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
513 B
Docker
21 lines
513 B
Docker
FROM --platform=amd64 debian:11.6-slim@sha256:f7d141c1ec6af549958a7a2543365a7829c2cdc4476308ec2e182f8a7c59b519
|
|
|
|
LABEL description="Build 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 \
|
|
&& rm -rf /var/lib/apt/lists/*
|
|
|
|
RUN mkdir /bemanitools
|
|
WORKDIR /bemanitools
|
|
|
|
ENTRYPOINT [ \
|
|
"/bin/sh", \
|
|
"-c" , \
|
|
"cd /bemanitools && \
|
|
make" ] |