summaryrefslogtreecommitdiff
path: root/util/crossgcc
diff options
context:
space:
mode:
Diffstat (limited to 'util/crossgcc')
-rwxr-xr-xutil/crossgcc/buildgcc13
1 files changed, 11 insertions, 2 deletions
diff --git a/util/crossgcc/buildgcc b/util/crossgcc/buildgcc
index d64b687dd9..97c38b8d95 100755
--- a/util/crossgcc/buildgcc
+++ b/util/crossgcc/buildgcc
@@ -211,6 +211,10 @@ buildcc_major() {
echo "${GCC_VERSION}" | cut -d. -f1
}
+buildcc_minor() {
+ echo "${GCC_VERSION}" | cut -d. -f2
+}
+
buildcc_version() {
echo "${GCC_VERSION}" | cut -d. -f1-2
}
@@ -237,9 +241,14 @@ ada_requested() {
check_gnat() {
if hostcc_has_gnat1; then
- if [ "$(hostcc_version)" != "$(buildcc_version)" -a "${BOOTSTRAP}" != "1" ]; then
+ if [ \( "$(hostcc_major)" -lt "$(buildcc_major)" -o \
+ \( "$(hostcc_major)" -eq "$(buildcc_major)" -a \
+ "$(hostcc_minor)" -lt "$(buildcc_minor)" \) \) \
+ -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 "with an older host compiler\n version ($(hostcc_version)) "
printf "requires bootstrapping (-b).${NC}\n\n"
HALT_FOR_TOOLS=1
fi