config/companion_libs/gmp.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sun Oct 03 23:10:46 2010 +0200 (2010-10-03)
changeset 2130 b46ecc90d3ab
parent 1912 bcc0d5943bfa
child 2651 a171c274bc12
permissions -rw-r--r--
complibs: better deduce whether to backup complibs or not

To decide whether we need to backup the companion libraries,
do not rely on the !shared case. In the future other cases
may require not to save the companion libraries (eg. if using
the ones provided by the host distro).

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