Nico Huber (nico.h@gmx.de) just uploaded a new patch set to gerrit, which you can find at https://review.coreboot.org/16677
-gerrit
commit 382725a5b6ce54f6f72a916cbd24b08beacdf79f Author: Nico Huber nico.huber@secunet.com Date: Tue Sep 20 13:07:49 2016 +0200
buildgcc: Ask the user to install gnat if it's missing
Change-Id: Ib840eac29fc8cedfaef4847fd9700bd4a70300ba Signed-off-by: Nico Huber nico.huber@secunet.com --- util/crossgcc/buildgcc | 2 ++ 1 file changed, 2 insertions(+)
diff --git a/util/crossgcc/buildgcc b/util/crossgcc/buildgcc index 3783234..bdf9208 100755 --- a/util/crossgcc/buildgcc +++ b/util/crossgcc/buildgcc @@ -241,6 +241,8 @@ check_gnat() { printf "requires bootstrapping (-b).${NC}\n\n" HALT_FOR_TOOLS=1 fi + else + please_install gnat fi }