diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-05-03 21:10:15 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-05-03 21:10:15 (GMT) |
commit | 38c549d748e72ecba0dac3215b7a82596229a42f (patch) | |
tree | 3267bdab17813a2312784283278ba18bfe48db19 /config/companion_libs | |
parent | 33edeaa6a5cd89a00cdf81edb981dba9c7e4c338 (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')
-rw-r--r-- | config/companion_libs/gmp.in | 32 | ||||
-rw-r--r-- | config/companion_libs/mpfr.in | 42 |
2 files changed, 74 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/ diff --git a/config/companion_libs/mpfr.in b/config/companion_libs/mpfr.in new file mode 100644 index 0000000..dcea326 --- /dev/null +++ b/config/companion_libs/mpfr.in @@ -0,0 +1,42 @@ +# GMP options + +choice + bool + prompt "MPFR version" + +config MPFR_V_2_3_1 + bool + prompt "2.3.1" + +config MPFR_V_2_3_2 + bool + prompt "2.3.2" + +config MPFR_V_2_4_0 + bool + prompt "2.4.0" + +config MPFR_V_2_4_1 + bool + prompt "2.4.1" + +# CT_INSERT_VERSION_ABOVE +# Don't remove above line! +endchoice + +config MPFR_VERSION + string + default "2.3.1" if MPFR_V_2_3_1 + default "2.3.2" if MPFR_V_2_3_2 + default "2.4.0" if MPFR_V_2_4_0 + default "2.4.1" if MPFR_V_2_4_1 +# CT_INSERT_VERSION_STRING_ABOVE +# Don't remove above line! + +config MPFR_CHECK + bool + prompt "Check MPFR" + default y + help + It is highly recommended that 'make check' is run against the newly built + MPFR library. See http://gmplib.org/ |