diff options
Diffstat (limited to 'packages/htools/mpfr')
-rw-r--r-- | packages/htools/mpfr/mpfr.mk | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/packages/htools/mpfr/mpfr.mk b/packages/htools/mpfr/mpfr.mk index 0e08af6..a38fdea 100644 --- a/packages/htools/mpfr/mpfr.mk +++ b/packages/htools/mpfr/mpfr.mk @@ -32,5 +32,6 @@ 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)/usr +MPFR_HOST_CONFIGURE_OPTS := --disable-shared --enable-static +MPFR_HOST_CONFIGURE_OPTS += --disable-maintainer-mode +MPFR_HOST_CONFIGURE_OPTS += --with-gmp=$(embtk_htools)/usr |