diff options
-rw-r--r-- | kconfig/gmphost.kconfig | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/kconfig/gmphost.kconfig b/kconfig/gmphost.kconfig index 2215bd7..7b974e8 100644 --- a/kconfig/gmphost.kconfig +++ b/kconfig/gmphost.kconfig @@ -31,16 +31,20 @@ choice and floating point numbers. GMP is necessary in order to build MPFR. + config EMBTK_GMP_HOST_VERSION_4_3_2 + bool "gmp-4.3.2" config EMBTK_GMP_HOST_VERSION_4_3_1 bool "gmp-4.3.1" config EMBTK_GMP_HOST_VERSION_4_3_0 bool "gmp-4.3.0" + depends on EMBTK_OLDPACKAGES config EMBTK_GMP_HOST_VERSION_4_2_4 bool "gmp-4.2.4" endchoice config EMBTK_GMP_HOST_VERSION_STRING string +default "4.3.2" if EMBTK_GMP_HOST_VERSION_4_3_2 default "4.3.1" if EMBTK_GMP_HOST_VERSION_4_3_1 default "4.3.0" if EMBTK_GMP_HOST_VERSION_4_3_0 default "4.2.4" if EMBTK_GMP_HOST_VERSION_4_2_4 |