--- configure.orig 2018-02-07 15:30:31.591867000 +0000 +++ configure 2018-02-07 15:30:42.801867000 +0000 @@ -6317,17 +6317,17 @@ esac done - # Disable Ada if no preexisting GNAT is available. - case ,${enable_languages},:${language}:${have_gnat} in - *,${language},*:ada:no) - # Specifically requested language; tell them. - as_fn_error "GNAT is required to build $language" "$LINENO" 5 - ;; - *:ada:no) - # Silently disable. - add_this_lang=unsupported - ;; - esac +# # Disable Ada if no preexisting GNAT is available. +# case ,${enable_languages},:${language}:${have_gnat} in +# *,${language},*:ada:no) +# # Specifically requested language; tell them. +# as_fn_error "GNAT is required to build $language" "$LINENO" 5 +# ;; +# *:ada:no) +# # Silently disable. +# add_this_lang=unsupported +# ;; +# esac # Disable a language that is unsupported by the target. case " $unsupported_languages " in