@@ 0,0 1,16 @@ 
+diff -pruN gcc-6.1.0.orig/configure gcc-6.1.0/configure
+--- gcc-6.1.0.orig/configure	2016-03-18 00:54:19.000000000 +0200
++++ gcc-6.1.0/configure	2016-08-17 22:42:09.158875955 +0300
+@@ -3087,9 +3087,9 @@ else
+   ENABLE_LIBADA=yes
+ fi
+ 
+-if test "${ENABLE_LIBADA}" != "yes" ; then
+-  noconfigdirs="$noconfigdirs gnattools"
+-fi
++# if test "${ENABLE_LIBADA}" != "yes" ; then
++#   noconfigdirs="$noconfigdirs gnattools"
++# fi
+ 
+ # Check whether --enable-libssp was given.
+ if test "${enable_libssp+set}" = set; then :