This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [configury patch] don't add 'mpfr' to --with-mpfr-dir
Quoting Rainer Orth <ro@TechFak.Uni-Bielefeld.DE>:
> > your mpfr is the one built together with gmp, --with-mpfr-dir is not
> needed.
>
> This seems not to be the case: in an uninstalled gmp built with
> --enable-mpfr, libmpfr.a lives in an mpfr subdir, but this isn't referenced
> anywhere in toplevel configure, so libmpfr.a won't be found (nor, as I
> mentioned, mpfr.h in case of a VPATH build).
Sigh, this is a bug then. --with-mpfr-dir shouldn't be needed in that case. I
don't have this configuration on any computer I have access to, but from
looking at configure.in it looks like '--with-gmp-dir=$GMP_DIR
--with-mpfr-dir=$GMP_DIR/mpfr' will work in that case, ugly, I agree.
> > Also, the way --with-mpfr-dir worked made it impossible to use a standalone
> mpfr
> > that wasn't installed, effectively rendering that option useless.
>
> Useless at least for that case, agreed. I'm not sure which variant (gmp
> --with-mpfr or gmp with standalone mpfr) is more common nowadays, but both
> should work of course.
I agree. Does anybody have time to look into all permutations (GMP / MPFR
installed / uninstalled, bundled / unbundled)?
- Tobi