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

["novulae at hotmail dot com" <gcc-bugzilla@gcc.gnu.org>]

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

             Bug #: 56259
           Summary: GCC's configure script has a hard-coded setting of
                    'with_gmp' for FreeBSD
    Classification: Unclassified
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: bootstrap
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: novulae@hotmail.com


This block of code exists in the configure script for GCC:

  *-*-freebsd*)
    if test "x$with_gmp" = x && test "x$with_gmp_dir" = x \
        && test -f /usr/local/include/gmp.h; then
      with_gmp=/usr/local
    fi
    ;;


This has several serious side-effects:

 - If you have GMP in the source directory you're using to build GCC, it will
   be ignored.
 - Since --with-gmp=/usr/local wasn't specified to configure, this setting is
   not propagated to MPFR and MPC, which causes those configurations to fail.
 - Overriding with --with-gmp-include and --with-gmp-libs causes MPFR and GMP
   to be linked dynamically with GCC, instead of statically (which is the case
   when GMP, MPFR and MPC are built from source as part of GCC.



I don't believe this block of code has any place here - configure has
--with-gmp which can be used to do this exact same thing, and correctly to
boot. The section of code where this entry occurs is used to set noconfigdirs
for other platforms, and most platforms have nothing being done at all.

For greater context:
  *-*-darwin*)
    noconfigdirs="$noconfigdirs ld gas gdb gprof"
    noconfigdirs="$noconfigdirs sim target-rda"
    ;;
  *-*-dragonfly*)
    ;;
  *-*-freebsd*)
    if test "x$with_gmp" = x && test "x$with_gmp_dir" = x \
        && test -f /usr/local/include/gmp.h; then
      with_gmp=/usr/local
    fi
    ;;
  *-*-kaos*)
    # Remove unsupported stuff on all kaOS configurations.
    noconfigdirs="$noconfigdirs target-libgloss"
    ;;
  *-*-netbsd*)
    ;;
  *-*-netware*)
    ;;