[Bug ada/58239] [4.9 regression] pretty-print.c:789: undefined reference to `operator delete(void*)'

[ebotcazou at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58239

--- Comment #11 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
> "grep -R -static-libstdc++ gcc/ada" suggests that -static-libstdc++ only
> appears in a Changelog entry.
> 
> also the gcc driver silently ignores -static-libstdc++.
> 
> certainly, the -B options are passed when other gcc components are built (or
> it would fail to bootstrap on Darwin). 

-static-libstdc++ comes from the compiler via a Makefile variable, not from the
gnattools.  We probably miss another variable to get the -B options.