mirror of
https://github.com/logicog/RTLPlayground.git
synced 2026-10-29 17:54:14 +08:00
d00f
0181276ec6
The workflow and the Dockerfile install what building SDCC needs instead of the distribution's sdcc, and the workflow caches toolchain/ keyed on the contents of sdcc/.
27 lines
459 B
Docker
27 lines
459 B
Docker
FROM debian:13-slim
|
|
|
|
RUN apt-get update && apt-get install -y \
|
|
make \
|
|
gcc \
|
|
g++ \
|
|
bison \
|
|
flex \
|
|
libboost-dev \
|
|
patch \
|
|
bzip2 \
|
|
curl \
|
|
ca-certificates \
|
|
xxd \
|
|
python3 \
|
|
libjson-c-dev \
|
|
git \
|
|
zlib1g-dev \
|
|
&& rm -rf /var/lib/apt/lists/*
|
|
|
|
# git safe.directory for mounted repos (Makefile uses git describe)
|
|
RUN git config --global --add safe.directory /workspace
|
|
|
|
WORKDIR /workspace
|
|
|
|
CMD ["bash"]
|