coreboot-sdk: Prefer gnat package over gnat-6
commitb133c61a9151b3b7b9c6b62091a606498c5f7568
authorNico Huber <nico.h@gmx.de>
Sun, 4 Nov 2018 15:06:26 +0000 (4 16:06 +0100)
committerNico Huber <nico.h@gmx.de>
Mon, 5 Nov 2018 21:32:22 +0000 (5 21:32 +0000)
treee58a2386ef95b627de1dc857dca1040ae84b9f3a
parentc8767058e42197e621d5c9b08978bdead154bb20
coreboot-sdk: Prefer gnat package over gnat-6

The choice of `gnat-6` was originally an optimization because the meta-
package `gnat` installs not only the current GNAT version but also other
unwanted (and hard to explain) dependencies. Later it was necessary
because GCC 8 couldn't compile our older crossgcc.

Now that we switched crossgcc to GCC 8.1, `gnat` should be fine.

Change-Id: Ica8a1f9d6d71a74ffc4ec76aa0cfbe4b604cde1b
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.coreboot.org/29454
Reviewed-by: Martin Roth <martinroth@google.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
util/docker/coreboot-sdk/Dockerfile