summaryrefslogtreecommitdiff
path: root/config/companion_libs/gmp.in
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2009-05-03 21:10:15 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2009-05-03 21:10:15 (GMT)
commit38c549d748e72ecba0dac3215b7a82596229a42f (patch)
tree3267bdab17813a2312784283278ba18bfe48db19 /config/companion_libs/gmp.in
parent33edeaa6a5cd89a00cdf81edb981dba9c7e4c338 (diff)
Prepare for gcc-4.4:
- add 'companion_libs/' to hold all libraries needed to build gcc-4.3+ and gcc-4.4+ - move GMP & MPFR to 'companion_libs/' -------- diffstat follows -------- /trunk/scripts/build/gmp.sh | 85 0 85 0 ---------------------------- /trunk/scripts/build/mpfr.sh | 139 0 139 0 --------------------------------------------- /trunk/scripts/addToolVersion.sh | 4 2 2 0 /trunk/scripts/crosstool-NG.sh.in | 4 2 2 0 /trunk/config/companion_libs.in | 17 10 7 0 +++--- /trunk/config/gmp_mpfr/gmp.in | 32 0 32 0 ---------- /trunk/config/gmp_mpfr/mpfr.in | 42 0 42 0 -------------- /trunk/config/config.in | 2 1 1 0 /trunk/config/gmp_mpfr.in | 35 0 35 0 ----------- 9 files changed, 15 insertions(+), 345 deletions(-)
Diffstat (limited to 'config/companion_libs/gmp.in')
-rw-r--r--config/companion_libs/gmp.in32
1 files changed, 32 insertions, 0 deletions
diff --git a/config/companion_libs/gmp.in b/config/companion_libs/gmp.in
new file mode 100644
index 0000000..0ac2b2c
--- /dev/null
+++ b/config/companion_libs/gmp.in
@@ -0,0 +1,32 @@
+# GMP options
+
+choice
+ bool
+ prompt "GMP version"
+
+config GMP_V_4_2_2
+ bool
+ prompt "4.2.2"
+
+config GMP_V_4_2_4
+ bool
+ prompt "4.2.4"
+
+# CT_INSERT_VERSION_ABOVE
+# Don't remove above line!
+endchoice
+
+config GMP_VERSION
+ string
+ default "4.2.2" if GMP_V_4_2_2
+ default "4.2.4" if GMP_V_4_2_4
+# CT_INSERT_VERSION_STRING_ABOVE
+# Don't remove above line!
+
+config GMP_CHECK
+ bool
+ prompt "Check GMP"
+ default y
+ help
+ It is highly recommended that 'make check' is run against the newly built
+ GMP library. See http://gmplib.org/