diff options
Diffstat (limited to 'packages/htools')
-rw-r--r-- | packages/htools/mpfr/mpfr.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/packages/htools/mpfr/mpfr.mk b/packages/htools/mpfr/mpfr.mk index 87a7f74..0e08af6 100644 --- a/packages/htools/mpfr/mpfr.mk +++ b/packages/htools/mpfr/mpfr.mk @@ -33,4 +33,4 @@ MPFR_HOST_BUILD_DIR := $(embtk_toolsb)/mpfr-$(MPFR_HOST_VERSION)-build MPFR_HOST_DEPS := gmp_host_install MPFR_HOST_CONFIGURE_OPTS := --disable-shared --enable-static -MPFR_HOST_CONFIGURE_OPTS += --with-gmp=$(embtk_htools) +MPFR_HOST_CONFIGURE_OPTS += --with-gmp=$(embtk_htools)/usr |