[Bug bootstrap/56259] GCC's configure script has a hard-coded setting of 'with_gmp' for FreeBSD

["ljrittle at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>]

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

Loren Rittle <ljrittle at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ljrittle at gcc dot gnu.org

--- Comment #2 from Loren Rittle <ljrittle at gcc dot gnu.org> 2013-02-18 22:25:27 UTC ---
This block of code was added to handle a special case seen on FreeBSD:
(a) on some versions of FreeBSD circa 2004, the system installed copy of gmp.h
was too old to support gcc
(b) by default, FreeBSD ports system installs into /usr/local

I note that the claimed serious side effects only happen when one installed gmp
from ports (or otherwise installed it into /usr/local) *and* one attempted to
build a gcc with a copy of gmp co-located with gcc source.

We need to think about the default user (which will likely not unpack gmp, mpfr
and mpc) into the gcc source tree.

We would need input from Gerald (assuming he still supports the official
FreeBSD ports builds of gcc).  Blinding accepting a patch to remove this block
of configuration will likely break this downstream; even if it otherwise makes
logical sense to do so.

Regards,
Loren