diff options
Diffstat (limited to 'config/mpfr.conf')
| -rw-r--r-- | config/mpfr.conf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/mpfr.conf b/config/mpfr.conf index 51204c65..728133a7 100644 --- a/config/mpfr.conf +++ b/config/mpfr.conf @@ -9,7 +9,7 @@ latest="3.1.2" installs="libmpfr." # This is a list of default flags always supplied to configure -default_configure_flags="--with-gmp=${local_builds}/${host}" +default_configure_flags="--with-gmp=${local_builds}/destdir/${host}" # If yes, only static linking will be used static_link=yes |