diff options
author | Abdoulaye Walsimou Gaye <walsimou@walsimou.com> | 2009-05-12 16:45:18 +0200 |
---|---|---|
committer | Abdoulaye Walsimou Gaye <walsimou@walsimou.com> | 2009-05-12 16:45:18 +0200 |
commit | 5efd6f5997018cfe9b00fccf9d9e37276298d253 (patch) | |
tree | 517d575c820a0ae96bb8886b1ce96ece83088462 /kconfig/mpfrhost.kconfig | |
parent | e1875213606eb8269056d0623e25efbc87aea4fe (diff) | |
download | embtoolkit-5efd6f5997018cfe9b00fccf9d9e37276298d253.tar.gz embtoolkit-5efd6f5997018cfe9b00fccf9d9e37276298d253.tar.bz2 embtoolkit-5efd6f5997018cfe9b00fccf9d9e37276298d253.tar.xz |
Toolchain: remove some gmp versions, give ability to patch mpfr
This patch remove some gmp version in its .kconfig file.
It also gives now the ability to apply patch from mpfr.org.
Signed-off-by: Abdoulaye Walsimou Gaye <walsimou@walsimou.com>
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 + + |