a3c1f1283b
While we are not currently using it we might as well keep the image for later usage. So: - update to a more recent snapshot - clean up verbiage in commentary - remove duplicate shell from a merge failure Suggested-by: Philippe Mathieu-Daudé <philmd@redhat.com> Signed-off-by: Alex Bennée <alex.bennee@linaro.org> Reviewed-by: Philippe Mathieu-Daudé <philmd@redhat.com> Tested-by: Philippe Mathieu-Daudé <philmd@redhat.com>
36 lines
1.3 KiB
Docker
36 lines
1.3 KiB
Docker
#
|
|
# Debian Sid Base
|
|
#
|
|
# Currently we can build all our guests with cross-compilers in the
|
|
# latest Debian release (Buster). However new compilers will first
|
|
# arrive in Sid. However Sid is a rolling distro which may be broken
|
|
# at any particular time. To try and mitigate this we use Debian's
|
|
# snapshot archive which provides a "stable" view of what state Sid
|
|
# was in.
|
|
#
|
|
|
|
# This must be earlier than the snapshot date we are aiming for
|
|
FROM debian:sid-20190812-slim
|
|
|
|
# Use a snapshot known to work (see http://snapshot.debian.org/#Usage)
|
|
ENV DEBIAN_SNAPSHOT_DATE "20190820"
|
|
RUN sed -i "s%^deb \(https\?://\)deb.debian.org/debian/\? \(.*\)%deb [check-valid-until=no] \1snapshot.debian.org/archive/debian/${DEBIAN_SNAPSHOT_DATE} \2%" /etc/apt/sources.list
|
|
|
|
# Duplicate deb line as deb-src
|
|
RUN cat /etc/apt/sources.list | sed "s/^deb\ /deb-src /" >> /etc/apt/sources.list
|
|
|
|
# Install common build utilities
|
|
RUN apt update && \
|
|
DEBIAN_FRONTEND=noninteractive apt install -yy eatmydata && \
|
|
DEBIAN_FRONTEND=noninteractive eatmydata \
|
|
apt install -y --no-install-recommends \
|
|
bison \
|
|
build-essential \
|
|
ca-certificates \
|
|
flex \
|
|
git \
|
|
pkg-config \
|
|
psmisc \
|
|
python \
|
|
texinfo || { echo "Failed to build - see debian-sid.docker notes"; exit 1; }
|