Mercurialcrosstool-ng / file revision
summary | shortlog | changelog | graph | tags | branches | files | changeset | file | latest | revisions | annotate | diff | raw | help
config/gmp_mpfr/gmp.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Wed Jul 16 21:59:49 2008 +0000 (2008-07-16)
changeset 673 a78a4bcc62d6
parent 466 7f9bbf94b0bb
child 902 25bd163c6886
permissions -rw-r--r--
Introduce a list of tools to check for at ./configure time.
Move some functions around (no code change).
Only tell about applying contribs when there are contribs to apply.
Some eye-candy here and there.

/trunk/configure | 94 75 19 0 +++++++++++++++++++++++++++++++++++++++++++++++++-------------
1 file changed, 75 insertions(+), 19 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/
crosstool-ng