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>
This commit is contained in:
Felix Singer 2022-08-20 11:17:46 +02:00 committed by Martin Roth
parent acbdc4d72e
commit feab41b030
1 changed files with 1 additions and 1 deletions

View File

@ -35,7 +35,7 @@ RUN \
gawk \
gcc \
git \
gnat \
gnat-12 \
golang \
graphviz \
lcov \