config/companion_libs/gmp.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Mon May 30 23:05:28 2011 +0200 (2011-05-30)
changeset 2496 cc9b84a83b34
parent 1912 bcc0d5943bfa
child 2651 a171c274bc12
permissions -rw-r--r--
glibc: properly handle internal addons

Some addons are bundled with glibc/eglibc, so we should not try to
download and extract them.

This is done as thus:
- at download time:
- if the add-on download fails, keep going;
- at extract time:
- if the addon is present in the source tree, ignore it;
- if the addon is missing in the source tree:
- if the archive is present, extract it;
- if the archive is missing, bail out.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
     1 # GMP options
     2 
     3 choice
     4     bool
     5     prompt "GMP version"
     6 # Don't remove next line
     7 # CT_INSERT_VERSION_BELOW
     8 
     9 config GMP_V_5_0_1
    10     bool
    11     prompt "5.0.1 (EXPERIMENTAL)"
    12     depends on EXPERIMENTAL
    13 
    14 config GMP_V_4_3_2
    15     bool
    16     prompt "4.3.2"
    17 
    18 config GMP_V_4_3_1
    19     bool
    20     prompt "4.3.1"
    21 
    22 config GMP_V_4_3_0
    23     bool
    24     prompt "4.3.0"
    25 
    26 config GMP_V_4_2_4
    27     bool
    28     prompt "4.2.4 (OBSOLETE)"
    29     depends on OBSOLETE
    30 
    31 config GMP_V_4_2_2
    32     bool
    33     prompt "4.2.2 (OBSOLETE)"
    34     depends on OBSOLETE
    35 
    36 endchoice
    37 
    38 config GMP_VERSION
    39     string
    40 # Don't remove next line
    41 # CT_INSERT_VERSION_STRING_BELOW
    42     default "5.0.1" if GMP_V_5_0_1
    43     default "4.3.2" if GMP_V_4_3_2
    44     default "4.3.1" if GMP_V_4_3_1
    45     default "4.3.0" if GMP_V_4_3_0
    46     default "4.2.4" if GMP_V_4_2_4
    47     default "4.2.2" if GMP_V_4_2_2