config/companion_libs/gmp.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sun Jul 24 19:35:24 2011 +0200 (2011-07-24)
changeset 2900 369e2fbe9010
parent 1984 95b4a458fd60
child 2957 3e2f2100a76d
permissions -rw-r--r--
cc-gcc: the frontends are responsible for mkdir/chdir

The build dir are created depending on the host (host for that specific
backend, not host for the toolchain). Only the frontends know what host
this is, so only the frontends can create non-ambiguous dirs.

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_2
    10     bool
    11     prompt "5.0.2 (EXPERIMENTAL)"
    12     depends on EXPERIMENTAL
    13 
    14 config GMP_V_5_0_1
    15     bool
    16     prompt "5.0.1 (EXPERIMENTAL)"
    17     depends on EXPERIMENTAL
    18 
    19 config GMP_V_4_3_2
    20     bool
    21     prompt "4.3.2"
    22 
    23 config GMP_V_4_3_1
    24     bool
    25     prompt "4.3.1"
    26 
    27 config GMP_V_4_3_0
    28     bool
    29     prompt "4.3.0"
    30 
    31 config GMP_V_4_2_4
    32     bool
    33     prompt "4.2.4 (OBSOLETE)"
    34     depends on OBSOLETE
    35 
    36 config GMP_V_4_2_2
    37     bool
    38     prompt "4.2.2 (OBSOLETE)"
    39     depends on OBSOLETE
    40 
    41 endchoice
    42 
    43 config GMP_VERSION
    44     string
    45 # Don't remove next line
    46 # CT_INSERT_VERSION_STRING_BELOW
    47     default "5.0.2" if GMP_V_5_0_2
    48     default "5.0.1" if GMP_V_5_0_1
    49     default "4.3.2" if GMP_V_4_3_2
    50     default "4.3.1" if GMP_V_4_3_1
    51     default "4.3.0" if GMP_V_4_3_0
    52     default "4.2.4" if GMP_V_4_2_4
    53     default "4.2.2" if GMP_V_4_2_2