config/companion_libs/gmp.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Fri Mar 19 18:46:57 2010 +0100 (2010-03-19)
changeset 1846 4220dec659c6
parent 1535 073d351bdcd3
child 1873 4477403726db
permissions -rw-r--r--
scripts: fix dumping the config for companion libraries for target

Companion libraries can be disable for the host, but still used for
the target (eg. binutils or gdb). Dump the version also in this case.
yann@466
     1
# GMP options
yann@466
     2
yann@466
     3
choice
yann@466
     4
    bool
yann@466
     5
    prompt "GMP version"
yann@1535
     6
# Don't remove next line
yann@1535
     7
# CT_INSERT_VERSION_BELOW
yann@466
     8
yann@1534
     9
config GMP_V_4_3_1
yann@466
    10
    bool
yann@1534
    11
    prompt "4.3.1"
yann@1534
    12
yann@1534
    13
config GMP_V_4_3_0
yann@1534
    14
    bool
yann@1534
    15
    prompt "4.3.0"
yann@466
    16
yann@902
    17
config GMP_V_4_2_4
yann@902
    18
    bool
yann@1615
    19
    prompt "4.2.4 (OBSOLETE)"
yann@1615
    20
    depends on OBSOLETE
yann@902
    21
yann@1534
    22
config GMP_V_4_2_2
yann@1440
    23
    bool
yann@1615
    24
    prompt "4.2.2 (OBSOLETE)"
yann@1615
    25
    depends on OBSOLETE
yann@1440
    26
yann@466
    27
endchoice
yann@466
    28
yann@466
    29
config GMP_VERSION
yann@466
    30
    string
yann@1535
    31
# Don't remove next line
yann@1535
    32
# CT_INSERT_VERSION_STRING_BELOW
yann@1534
    33
    default "4.3.1" if GMP_V_4_3_1
yann@1534
    34
    default "4.3.0" if GMP_V_4_3_0
yann@1534
    35
    default "4.2.4" if GMP_V_4_2_4
yann@466
    36
    default "4.2.2" if GMP_V_4_2_2