This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug bootstrap/56259] New: GCC's configure script has a hard-coded setting of 'with_gmp' for FreeBSD
- From: "novulae at hotmail dot com" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Fri, 08 Feb 2013 23:01:51 +0000
- Subject: [Bug bootstrap/56259] New: GCC's configure script has a hard-coded setting of 'with_gmp' for FreeBSD
- Auto-submitted: auto-generated
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*)
;;