config/gmp_mpfr/gmp.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Tue Sep 30 18:19:18 2008 +0000 (2008-09-30)
changeset 892 187d34a9adf4
parent 466 7f9bbf94b0bb
child 902 25bd163c6886
permissions -rw-r--r--
Better handle the second pass core gcc build, differentiating between gcc prior to 4.3 with gcc from 4.3.
Simplify detecting wether gcc is 4.3 and later, or older than 4.3 (we already know from .config).

/trunk/scripts/build/cc/gcc.sh | 22 13 9 0 +++++++++++++---------
1 file changed, 13 insertions(+), 9 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 # CT_INSERT_VERSION_ABOVE
    12 # Don't remove above line!
    13 endchoice
    14 
    15 config GMP_VERSION
    16     string
    17     default "4.2.2" if GMP_V_4_2_2
    18 # CT_INSERT_VERSION_STRING_ABOVE
    19 # Don't remove above line!
    20 
    21 config GMP_CHECK
    22     bool
    23     prompt "Check GMP"
    24     default y
    25     help
    26       It is highly recommended that 'make check' is run against the newly built
    27       GMP library. See http://gmplib.org/