diff --git a/packages/devel/mpfr/package.mk b/packages/devel/mpfr/package.mk index 5679a41d43..e0df62ebeb 100644 --- a/packages/devel/mpfr/package.mk +++ b/packages/devel/mpfr/package.mk @@ -33,8 +33,8 @@ PKG_IS_ADDON="no" PKG_AUTORECONF="no" PKG_CONFIGURE_OPTS_HOST="--target=$TARGET_NAME \ + --enable-static --disable-shared \ --prefix=$ROOT/$TOOLCHAIN \ - --enable-shared \ --with-gmp-lib=$ROOT/$TOOLCHAIN/lib \ --with-gmp-include=$ROOT/$TOOLCHAIN/include"