From 75797166cef66a84f38856f74a671968c6a7cd1f Mon Sep 17 00:00:00 2001
From: Nico Huber <nico.huber@secunet.com>
Date: Tue, 20 Sep 2016 13:01:57 +0200
Subject: [PATCH] buildgcc: Don't try to build gnat with a different version

Change-Id: I64a33d2cc4793e54a50fa439a4461c40d424b569
Signed-off-by: Nico Huber <nico.huber@secunet.com>
Reviewed-on: https://review.coreboot.org/16676
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Tested-by: build bot (Jenkins)
---
 util/crossgcc/buildgcc | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/util/crossgcc/buildgcc b/util/crossgcc/buildgcc
index 2907c098b9..da9947b961 100755
--- a/util/crossgcc/buildgcc
+++ b/util/crossgcc/buildgcc
@@ -225,6 +225,25 @@ hostcc_version() {
 	printf "%d.%d" "$(hostcc_major)" "$(hostcc_minor)"
 }
 
+hostcc_has_gnat1() {
+	[ -x "$(${CC} -print-prog-name=gnat1)" ]
+}
+
+ada_requested() {
+	echo "${LANGUAGES}" | grep -q '\<ada\>'
+}
+
+check_gnat() {
+	if hostcc_has_gnat1; then
+		if [ "$(hostcc_version)" != "$(buildcc_version)" -a "${BOOTSTRAP}" != "1" ]; then
+			printf "\n${RED}ERROR:${red} Building the Ada compiler (gnat $(buildcc_version)) "
+			printf "with a different host compiler\n       version ($(hostcc_version)) "
+			printf "requires bootstrapping (-b).${NC}\n\n"
+			HALT_FOR_TOOLS=1
+		fi
+	fi
+}
+
 check_cc() {
 	if is_package_enabled "GCC"; then
 		if [ "$(hostcc_major)" != "$(buildcc_major)" -a "${BOOTSTRAP}" != "1" ]; then
@@ -232,6 +251,9 @@ check_cc() {
 			printf "version ($(hostcc_version)).\n"
 			printf "         Bootstrapping (-b) is recommended.${NC}\n\n"
 		fi
+		if ada_requested; then
+			check_gnat
+		fi
 	fi
 }