From 04a1f6a3bce5d73ad7c43bced4683c0faffc368b Mon Sep 17 00:00:00 2001
From: Nico Huber <nico.huber@secunet.com>
Date: Tue, 20 Sep 2016 13:07:49 +0200
Subject: [PATCH] buildgcc: Ask the user to install gnat if it's missing

Change-Id: Ib840eac29fc8cedfaef4847fd9700bd4a70300ba
Signed-off-by: Nico Huber <nico.huber@secunet.com>
Reviewed-on: https://review.coreboot.org/16677
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Tested-by: build bot (Jenkins)
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
---
 util/crossgcc/buildgcc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/util/crossgcc/buildgcc b/util/crossgcc/buildgcc
index da9947b961..74a6261764 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
 }