diff options
Diffstat (limited to 'kconfig/mpfrhost.kconfig')
-rw-r--r-- | kconfig/mpfrhost.kconfig | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/kconfig/mpfrhost.kconfig b/kconfig/mpfrhost.kconfig index 791be26..f36602f 100644 --- a/kconfig/mpfrhost.kconfig +++ b/kconfig/mpfrhost.kconfig @@ -36,8 +36,16 @@ choice bool "mpfr-2.4.0" endchoice +#Version string config EMBTK_MPFR_HOST_VERSION_STRING string default "2.4.1" if EMBTK_MPFR_HOST_VERSION_2_4_1 default "2.4.0" if EMBTK_MPFR_HOST_VERSION_2_4_0 +#Does we need patches? +config EMBTK_MPFR_HOST_VERSION_PATCH + depends on EMBTK_MPFR_HOST_VERSION_2_4_1 || EMBTK_MPFR_HOST_VERSION_2_4_0 + bool + default y + + |