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(-)
yann@466
     1
# GMP options
yann@466
     2
yann@466
     3
choice
yann@466
     4
    bool
yann@466
     5
    prompt "GMP version"
yann@466
     6
yann@466
     7
config GMP_V_4_2_2
yann@466
     8
    bool
yann@466
     9
    prompt "4.2.2"
yann@466
    10
yann@466
    11
# CT_INSERT_VERSION_ABOVE
yann@466
    12
# Don't remove above line!
yann@466
    13
endchoice
yann@466
    14
yann@466
    15
config GMP_VERSION
yann@466
    16
    string
yann@466
    17
    default "4.2.2" if GMP_V_4_2_2
yann@466
    18
# CT_INSERT_VERSION_STRING_ABOVE
yann@466
    19
# Don't remove above line!
yann@466
    20
yann@466
    21
config GMP_CHECK
yann@466
    22
    bool
yann@466
    23
    prompt "Check GMP"
yann@466
    24
    default y
yann@466
    25
    help
yann@466
    26
      It is highly recommended that 'make check' is run against the newly built
yann@466
    27
      GMP library. See http://gmplib.org/