coreboot-kgpe-d16/util/docker
Felix Singer feab41b030 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>
2022-08-27 16:01:52 +00:00
..
coreboot-jenkins-node util/docker: Update dockerfiles 2022-05-31 13:41:56 +00:00
coreboot-sdk util/docker/coreboot-sdk: Install GNAT 12 2022-08-27 16:01:52 +00:00
coreboot.org-status docker/coreboot.org-status: Update URL schemes to git repos 2021-06-22 04:23:18 +00:00
doc.coreboot.org util/docker: Update dockerfiles 2022-05-31 13:41:56 +00:00
Makefile docker/Makefile: Use all instead of all_without_gdb 2022-01-04 21:08:43 +00:00
description.md util: Update description files 2022-05-30 13:05:21 +00:00