commit 1b6e706b705e48dd2741c8263b8df953b1863260
Author: Emery Hemingway <ehmry@posteo.net>
Date:   Sat Aug 15 16:34:16 2020 +0200

    toolchain: remove ada support
    
    Gnat and gprbuild not conveniently available for aarch64.

diff --git a/tool/tool_chain b/tool/tool_chain
index 038147e7d6..4e94d210df 100755
--- a/tool/tool_chain
+++ b/tool/tool_chain
@@ -172,8 +172,7 @@ GPRBUILD_OK = $(call check_nonempty_f,$(shell which gprbuild),\
                 Need to have 'gprbuild' installed.)
 
 TOOLS_OK = $(AUTOCONF_OK) $(AUTOCONFINST_OK) $(PKG_CONFIG_OK) $(CURSES_OK) \
-           $(TEXINFO_OK) $(WGET_OK) $(AUTOGEN_OK) $(GPG_OK) $(EXPAT_OK) \
-           $(GNAT_OK) $(GPRBUILD_OK)
+           $(TEXINFO_OK) $(WGET_OK) $(AUTOGEN_OK) $(GPG_OK) $(EXPAT_OK)
 
 ifneq ($(strip $(TOOLS_OK)),)
 $(error Please install missing tools.)
@@ -221,12 +220,12 @@ LANGUAGES              = c,c++
 LIB_GCC                = cd $(INSTALL_LOCATION)/lib/gcc/riscv64-unknown-elf/$(GCC_VERSION)/rv64imac/lp64 && \
                          $(SUDO) ln -sf ../../include include
 else
-LANGUAGES              = c,c++,ada
+LANGUAGES              = c,c++
 LIB_GCC                =
 endif
 
 GCC_BOOTSTRAP_CONFIG += $(COMMON_BOOTSTRAP_CONFIG) \
-                        --enable-languages=c,c++,ada \
+                        --enable-languages=c,c++ \
                         --disable-bootstrap \
                         --disable-libatomic \
                         --disable-libcilkrts \