diff options
Diffstat (limited to 'kconfig')
-rw-r--r-- | kconfig/gmp.kconfig | 11 |
1 files changed, 3 insertions, 8 deletions
diff --git a/kconfig/gmp.kconfig b/kconfig/gmp.kconfig index ace6674..ca39877 100644 --- a/kconfig/gmp.kconfig +++ b/kconfig/gmp.kconfig @@ -38,6 +38,8 @@ choice operating on signed integers, rational numbers, and floating point numbers. + config EMBTK_GMP_VERSION_5_0_4 + bool "gmp-5.0.4" config EMBTK_GMP_VERSION_4_3_2 bool "gmp-4.3.2" config EMBTK_GMP_VERSION_4_3_1 @@ -52,6 +54,7 @@ endchoice config EMBTK_GMP_VERSION_STRING string + default "5.0.4" if EMBTK_GMP_VERSION_5_0_4 default "4.3.2" if EMBTK_GMP_VERSION_4_3_2 default "4.3.1" if EMBTK_GMP_VERSION_4_3_1 default "4.3.0" if EMBTK_GMP_VERSION_4_3_0 @@ -63,16 +66,8 @@ config EMBTK_GMP_NEED_PATCH config EMBTK_GMP_NEED_AUTORECONF bool select EMBTK_GMP_HOST_NEED_AUTORECONF -config EMBTK_GMP_PKG_IS_TARGZ - bool -config EMBTK_GMP_PKG_IS_TARBZ2 - bool config EMBTK_GMP_HOST_NEED_PATCH bool config EMBTK_GMP_HOST_NEED_AUTORECONF bool -config EMBTK_GMP_HOST_PKG_IS_TARGZ - bool -config EMBTK_GMP_HOST_PKG_IS_TARBZ2 - bool |