diff options
| author | Kaveh R. Ghazi <ghazi@caip.rutgers.edu> | 2006-11-18 14:08:54 +0000 |
|---|---|---|
| committer | Kaveh Ghazi <ghazi@gcc.gnu.org> | 2006-11-18 14:08:54 +0000 |
| commit | a357b5ae8d079297527a84f6bbccf77dc25fc105 (patch) | |
| tree | a8d100a539625b15ad5f4715424b31f458b71297 /configure.in | |
| parent | 7b66643229dfc1d2a19bd163654ae277de55a1fa (diff) | |
| download | gcc-a357b5ae8d079297527a84f6bbccf77dc25fc105.zip gcc-a357b5ae8d079297527a84f6bbccf77dc25fc105.tar.gz gcc-a357b5ae8d079297527a84f6bbccf77dc25fc105.tar.bz2 | |
configure.in (--with-mpfr-dir): Also look in .libs and _libs for libmpfr.a.
* configure.in (--with-mpfr-dir): Also look in .libs and _libs for
libmpfr.a.
* configure: Regenerate.
From-SVN: r118972
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/configure.in b/configure.in index ccb1b93..1f5e3bd 100644 --- a/configure.in +++ b/configure.in @@ -1058,7 +1058,13 @@ AC_ARG_WITH(mpfr-dir, [ --with-mpfr-dir=PATH Specify source directory for MP if test "x$with_mpfr_dir" != x; then gmpinc="-I$with_mpfr_dir" - gmplibs="$with_mpfr_dir/libmpfr.a" + if test -f "$with_mpfr_dir/.libs/libmpfr.a"; then + gmplibs="$with_mpfr_dir/.libs/libmpfr.a" + elif test -f "$with_mpfr_dir/_libs/libmpfr.a"; then + gmplibs="$with_mpfr_dir/_libs/libmpfr.a" + else + gmplibs="$with_mpfr_dir/libmpfr.a" + fi else gmplibs="-lmpfr" fi |