config/gmp_mpfr/mpfr.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 467 374d5264fc18
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 "MPFR version"
     6 
     7 config MPFR_V_2_3_1
     8     bool
     9     prompt "2.3.1"
    10 
    11 # CT_INSERT_VERSION_ABOVE
    12 # Don't remove above line!
    13 endchoice
    14 
    15 config MPFR_VERSION
    16     string
    17     default "2.3.1" if MPFR_V_2_3_1
    18 # CT_INSERT_VERSION_STRING_ABOVE
    19 # Don't remove above line!
    20 
    21 config MPFR_CHECK
    22     bool
    23     prompt "Check MPFR"
    24     default y
    25     help
    26       It is highly recommended that 'make check' is run against the newly built
    27       MPFR library. See http://gmplib.org/