The bootstrap failure is fixed with the following patch:
[macbook] gcc/work% diff -up ../_clean/gcc/ada/gcc-interface/Makefile.in
gcc/ada/gcc-interface/Makefile.in
--- ../_clean/gcc/ada/gcc-interface/Makefile.in 2013-09-12 13:18:34.000000000
+0200
+++ gcc/ada/gcc-interface/Makefile.in 2013-09-13 16:58:58.000000000 +0200
@@ -2190,7 +2190,7 @@ ifeq ($(strip $(filter-out %x32 linux%,$
endif
# Darwin (Mac OS X)
-ifeq ($(strip $(filter-out darwin%,$(target_cpu))),)
+ifeq ($(strip $(filter-out darwin%,$(target_os))),)
SO_OPTS = -shared-libgcc
LIBGNAT_TARGET_PAIRS = \
a-intnam.ads<a-intnam-darwin.ads \
Notes:
1) I did not check for other typos.
2) I don't have write access.
Dominique
