diff options
| -rw-r--r-- | config/mpc.conf | 2 | ||||
| -rw-r--r-- | config/mpfr.conf | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/config/mpc.conf b/config/mpc.conf index 0ebd4a76..cb0207f2 100644 --- a/config/mpc.conf +++ b/config/mpc.conf @@ -9,7 +9,7 @@ latest="1.0.1" installs="libmpc." # This is a list of default flags always supplied to configure -default_configure_flags="--with-gmp=${local_builds}/${host} --with-mpfr=${local_builds}/${host}" +default_configure_flags="--with-gmp=${local_builds}/destdir/${host} --with-mpfr=${local_builds}/destdir/${host}" # If yes, only static linking will be used static_link=yes 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 |