diff options
author | Felix Singer <felixsinger@posteo.net> | 2022-08-20 11:17:46 +0200 |
---|---|---|
committer | Martin Roth <martin.roth@amd.corp-partner.google.com> | 2022-08-27 16:01:52 +0000 |
commit | feab41b030890e1a11519cbdf603c43f2baafdaa (patch) | |
tree | e81c98fc403e294cd9a48464bcc86555ae70455f /util/docker/coreboot-sdk | |
parent | acbdc4d72ed9b2027dc32439cb13d3c0d75ea1fc (diff) |
util/docker/coreboot-sdk: Install GNAT 12
For some reason GNAT 11 is not able to build GNAT 12, since there are
some Ada errors during the compilation. However, it works with GNAT 12.
So use GNAT 12 for the host toolchain instead.
Change-Id: If00a05a0c8564e624809268a12fae28261e380a2
Signed-off-by: Felix Singer <felixsinger@posteo.net>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/66924
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Martin Roth <martin.roth@amd.corp-partner.google.com>
Diffstat (limited to 'util/docker/coreboot-sdk')
-rw-r--r-- | util/docker/coreboot-sdk/Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/docker/coreboot-sdk/Dockerfile b/util/docker/coreboot-sdk/Dockerfile index 6859ba161c..1b4a27157e 100644 --- a/util/docker/coreboot-sdk/Dockerfile +++ b/util/docker/coreboot-sdk/Dockerfile @@ -35,7 +35,7 @@ RUN \ gawk \ gcc \ git \ - gnat \ + gnat-12 \ golang \ graphviz \ lcov \ |