diff options
Diffstat (limited to 'kconfig/mpfr.kconfig')
-rw-r--r-- | kconfig/mpfr.kconfig | 80 |
1 files changed, 80 insertions, 0 deletions
diff --git a/kconfig/mpfr.kconfig b/kconfig/mpfr.kconfig new file mode 100644 index 0000000..3b8a36d --- /dev/null +++ b/kconfig/mpfr.kconfig @@ -0,0 +1,80 @@ +################################################################################ +# Embtoolkit +# Copyright(C) 2009-2011 Abdoulaye Walsimou GAYE. +# +# This program is free software: you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation, either version 2 of the License, or +# (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program. If not, see <http://www.gnu.org/licenses/>. +# +################################################################################ +# +# \file mpfr.kconfig +# \brief mpfr.kconfig of Embtoolkit +# \author Abdoulaye Walsimou GAYE <awg@embtoolkit.org> +# \date May 2009 +################################################################################ + +config EMBTK_HAVE_MPFR + bool + select EMBTK_MPFR_PKG_IS_TARBZ2 + +config EMBTK_HOST_HAVE_MPFR + bool + select EMBTK_MPFR_PKG_IS_TARBZ2 + default y + +choice + prompt "Version of mpfr you wish" + depends on EMBTK_HAVE_MPFR || EMBTK_HOST_HAVE_MPFR + help + The MPFR library is a C library for multiple-precision + floating-point computations with correct rounding. + MPFR is mandatory to build GCC + + config EMBTK_MPFR_VERSION_2_4_2 + bool "mpfr-2.4.2" + select EMBTK_MPFR_NEED_PATCH + config EMBTK_MPFR_HOST_VERSION_2_4_1 + bool "mpfr-2.4.1" + select EMBTK_MPFR_NEED_PATCH + config EMBTK_MPFR_VERSION_2_4_0 + bool "mpfr-2.4.0" + select EMBTK_MPFR_NEED_PATCH +endchoice + +config EMBTK_MPFR_VERSION_STRING + string + default "2.4.2" if EMBTK_MPFR_VERSION_2_4_2 + default "2.4.1" if EMBTK_MPFR_VERSION_2_4_1 + default "2.4.0" if EMBTK_MPFR_VERSION_2_4_0 + +config EMBTK_MPFR_NEED_PATCH + bool + select EMBTK_MPFR_HOST_NEED_PATCH +config EMBTK_MPFR_NEED_AUTORECONF + bool + select EMBTK_MPFR_HOST_NEED_AUTORECONF +config EMBTK_MPFR_PKG_IS_TARGZ + bool + select EMBTK_MPFR_HOST_PKG_IS_TARGZ +config EMBTK_MPFR_PKG_IS_TARBZ2 + bool + select EMBTK_MPFR_HOST_PKG_IS_TARBZ2 + +config EMBTK_MPFR_HOST_NEED_PATCH + bool +config EMBTK_MPFR_HOST_NEED_AUTORECONF + bool +config EMBTK_MPFR_HOST_PKG_IS_TARGZ + bool +config EMBTK_MPFR_HOST_PKG_IS_TARBZ2 + bool |