summaryrefslogtreecommitdiff
path: root/config/companion_libs/gmp.in
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2009-05-25 19:46:58 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2009-05-25 19:46:58 (GMT)
commit21649be4763884c0000ec61f468ce9d1be10616d (patch)
tree49bb829299c72463c2e89b6eba6b183171479b60 /config/companion_libs/gmp.in
parent87cf57e3ba2dbed18f3fdb4af4d2bce2d6df7541 (diff)
/devel/gcc-4.4:
- commonalise the config-knobs that: - enable checking the newly built companion libraries - enable building the companion libraries for the target -------- diffstat follows -------- /devel/gcc-4.4/scripts/build/companion_libs/ppl.sh | 2 1 1 0 /devel/gcc-4.4/scripts/build/companion_libs/mpc.sh | 2 1 1 0 /devel/gcc-4.4/scripts/build/companion_libs/gmp.sh | 4 2 2 0 +- /devel/gcc-4.4/scripts/build/companion_libs/cloog.sh | 2 1 1 0 /devel/gcc-4.4/scripts/build/companion_libs/mpfr.sh | 4 2 2 0 +- /devel/gcc-4.4/config/companion_libs/ppl.in | 14 0 14 0 ---------- /devel/gcc-4.4/config/companion_libs/mpc.in | 13 0 13 0 ---------- /devel/gcc-4.4/config/companion_libs/gmp.in | 13 0 13 0 ---------- /devel/gcc-4.4/config/companion_libs/cloog.in | 13 0 13 0 ---------- /devel/gcc-4.4/config/companion_libs/mpfr.in | 14 0 14 0 ---------- /devel/gcc-4.4/config/companion_libs.in | 46 35 11 0 ++++++++++++++++++++++++++-------- 11 files changed, 42 insertions(+), 85 deletions(-)
Diffstat (limited to 'config/companion_libs/gmp.in')
-rw-r--r--config/companion_libs/gmp.in13
1 files changed, 0 insertions, 13 deletions
diff --git a/config/companion_libs/gmp.in b/config/companion_libs/gmp.in
index 3690c97..c4fc246 100644
--- a/config/companion_libs/gmp.in
+++ b/config/companion_libs/gmp.in
@@ -22,16 +22,3 @@ config GMP_VERSION
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 (!!! README !!!)"
- default n
- help
- It is highly recommended to check the newly built GMP library.
- Unfortunately, this is a very intensive task, and takes a loooong time.
-
- Checking GMP is thus disabled by default.
-
- If you suspect that your GMP library is the cause for incorrectly
- generated code, you should answer 'Y' here.