diff options
Diffstat (limited to 'packages/htools/mpfr/mpfr.kconfig')
-rw-r--r-- | packages/htools/mpfr/mpfr.kconfig | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/packages/htools/mpfr/mpfr.kconfig b/packages/htools/mpfr/mpfr.kconfig index a944cf8..3e944ac 100644 --- a/packages/htools/mpfr/mpfr.kconfig +++ b/packages/htools/mpfr/mpfr.kconfig @@ -26,10 +26,11 @@ config EMBTK_HOST_HAVE_MPFR bool default y + select EMBTK_MPFR_HOST_NEED_PATCH config EMBTK_MPFR_HOST_VERSION_STRING string - default "2.4.2" + default "3.1.2" config EMBTK_MPFR_HOST_NEED_PATCH bool |