aboutsummaryrefslogtreecommitdiff
path: root/config/mpfr.conf
diff options
context:
space:
mode:
authorRob Savoye <rob.savoye@linaro.org>2013-08-19 10:56:53 -0600
committerRob Savoye <rob.savoye@linaro.org>2013-08-19 10:56:53 -0600
commitbd1503206d3b3cc85e13a748dc3c575a8141d8ad (patch)
tree31edbb4c20a9ee163a9f74c64959a15f66233962 /config/mpfr.conf
parent13b8ca47eae52635804c750964617e79313d14ba (diff)
fix path to GMP headers
Diffstat (limited to 'config/mpfr.conf')
-rw-r--r--config/mpfr.conf2
1 files changed, 1 insertions, 1 deletions
diff --git a/config/mpfr.conf b/config/mpfr.conf
index 0aef73ab..95b4eefc 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}"
+default_configure_flags="--with-gmp=${local_builds}/${hosts}"
# If yes, only static linking will be used
static_link=yes