summaryrefslogtreecommitdiff
path: root/kconfig/mpfr.kconfig
diff options
context:
space:
mode:
authorAbdoulaye Walsimou Gaye <awg@embtoolkit.org>2011-08-25 15:13:58 +0200
committerAbdoulaye Walsimou Gaye <awg@embtoolkit.org>2011-08-25 15:15:15 +0200
commit76d5fc52705c65d58612085d19ca1f71bec1a42c (patch)
tree3df9e1013237c53a062bf8cc4f1780a10632d767 /kconfig/mpfr.kconfig
parent6d54fbcb7a08b39e90ed45f85db140f47cdedd4a (diff)
downloadembtoolkit-76d5fc52705c65d58612085d19ca1f71bec1a42c.tar.gz
embtoolkit-76d5fc52705c65d58612085d19ca1f71bec1a42c.tar.bz2
embtoolkit-76d5fc52705c65d58612085d19ca1f71bec1a42c.tar.xz
Toolchain: gmp, mpfr, mpc, binutils: use generic macros
Signed-off-by: Abdoulaye Walsimou Gaye <awg@embtoolkit.org>
Diffstat (limited to 'kconfig/mpfr.kconfig')
-rw-r--r--kconfig/mpfr.kconfig80
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