diff options
Diffstat (limited to 'Containerfile')
-rw-r--r-- | Containerfile | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/Containerfile b/Containerfile new file mode 100644 index 0000000..194d727 --- /dev/null +++ b/Containerfile @@ -0,0 +1,19 @@ +FROM debian:11.0 + +RUN \ + apt-get update && \ + DEBIAN_FRONTEND=noninteractive apt-get -y install \ + make gcc g++ xz-utils \ + libmpc-dev libmpfr-dev libgmp-dev zlib1g-dev \ + python3-minimal gawk bison rsync \ + && \ + apt-get clean + +RUN mkdir /opt/sysroot + +RUN mkdir /build +RUN useradd -U -u 1000 -d /build -M build +RUN chown build:build /build + +USER build +WORKDIR /build |