config/companion_libs/gmp.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Mon May 25 17:16:49 2009 +0000 (2009-05-25)
branchgcc-4.4
changeset 1381 5d9b7f52514f
parent 1318 5416f4ba36bf
child 1386 7995942261f2
permissions -rw-r--r--
/devel/gcc-4.4:
- GMP & MPFR: do not check the libraries by
default, update the help entries accordingly

-------- diffstat follows --------
/devel/gcc-4.4/config/companion_libs/gmp.in | 13 9 4 0 +++++++++----
/devel/gcc-4.4/config/companion_libs/mpfr.in | 14 10 4 0 ++++++++++----
2 files changed, 19 insertions(+), 8 deletions(-)
     1 # GMP options
     2 
     3 choice
     4     bool
     5     prompt "GMP version"
     6 
     7 config GMP_V_4_2_2
     8     bool
     9     prompt "4.2.2"
    10 
    11 config GMP_V_4_2_4
    12     bool
    13     prompt "4.2.4"
    14 
    15 # CT_INSERT_VERSION_ABOVE
    16 # Don't remove above line!
    17 endchoice
    18 
    19 config GMP_VERSION
    20     string
    21     default "4.2.2" if GMP_V_4_2_2
    22     default "4.2.4" if GMP_V_4_2_4
    23 # CT_INSERT_VERSION_STRING_ABOVE
    24 # Don't remove above line!
    25 
    26 config GMP_CHECK
    27     bool
    28     prompt "Check GMP (!!! README !!!)"
    29     default n
    30     help
    31       It is highly recommended to check the newly built GMP library.
    32       Unfortunately, this is a very intensive task, and takes a loooong time.
    33 
    34       Checking GMP is thus disabled by default.
    35 
    36       If you suspect that your GMP library is the cause for incorrectly
    37       generated code, you should answer 'Y' here.