summaryrefslogtreecommitdiff
path: root/util/docker
diff options
context:
space:
mode:
authorFelix Singer <felixsinger@posteo.net>2023-08-15 22:58:26 +0200
committerFelix Singer <service+coreboot-gerrit@felixsinger.de>2023-08-20 21:51:19 +0000
commitbbb2f30ba50e60006d842c48bdefac75f8e9ea2f (patch)
tree38d879aa94b2410d75afbc7bfb13acfceabaf13b /util/docker
parentece3bf37f9953fc42fff9443d4522f17519ae630 (diff)
util/docker/coreboot-sdk: Install an explicit version of GNAT
While Debian Sid provides GCC version 13, GNAT is still on version 12. To keep them in sync, install GNAT 13 explicitly instead of the meta package that is still referring to GNAT 12. The coreboot toolchain including GNAT still compiles fine. Change-Id: Ifb2b4c5fbaf3c0a8a78f6ebe244e2ccfec664b41 Signed-off-by: Felix Singer <felixsinger@posteo.net> Reviewed-on: https://review.coreboot.org/c/coreboot/+/77191 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Martin L Roth <gaumless@gmail.com>
Diffstat (limited to 'util/docker')
-rw-r--r--util/docker/coreboot-sdk/Dockerfile2
1 files changed, 1 insertions, 1 deletions
diff --git a/util/docker/coreboot-sdk/Dockerfile b/util/docker/coreboot-sdk/Dockerfile
index cccd1acd65..2405838a4b 100644
--- a/util/docker/coreboot-sdk/Dockerfile
+++ b/util/docker/coreboot-sdk/Dockerfile
@@ -35,7 +35,7 @@ RUN \
gawk \
gcc \
git \
- gnat \
+ gnat-13 \
golang \
graphicsmagick-imagemagick-compat \
graphviz \