config/companion_libs/gmp.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sat Jan 22 23:20:18 2011 +0100 (2011-01-22)
changeset 2305 2ed26c646568
parent 1912 bcc0d5943bfa
child 2651 a171c274bc12
permissions -rw-r--r--
scripts: create the makeinfo wrapper before we set PATH

If we set PATH to the tools wrappers before we create the
makeinfo wrapper, then we may well wrap an existing wrapper
from a previous run.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
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@1873
     9
config GMP_V_5_0_1
yann@1873
    10
    bool
yann@1984
    11
    prompt "5.0.1 (EXPERIMENTAL)"
yann@1912
    12
    depends on EXPERIMENTAL
yann@1873
    13
yann@1873
    14
config GMP_V_4_3_2
yann@1873
    15
    bool
yann@1873
    16
    prompt "4.3.2"
yann@1873
    17
yann@1534
    18
config GMP_V_4_3_1
yann@466
    19
    bool
yann@1534
    20
    prompt "4.3.1"
yann@1534
    21
yann@1534
    22
config GMP_V_4_3_0
yann@1534
    23
    bool
yann@1534
    24
    prompt "4.3.0"
yann@466
    25
yann@902
    26
config GMP_V_4_2_4
yann@902
    27
    bool
yann@1615
    28
    prompt "4.2.4 (OBSOLETE)"
yann@1615
    29
    depends on OBSOLETE
yann@902
    30
yann@1534
    31
config GMP_V_4_2_2
yann@1440
    32
    bool
yann@1615
    33
    prompt "4.2.2 (OBSOLETE)"
yann@1615
    34
    depends on OBSOLETE
yann@1440
    35
yann@466
    36
endchoice
yann@466
    37
yann@466
    38
config GMP_VERSION
yann@466
    39
    string
yann@1535
    40
# Don't remove next line
yann@1535
    41
# CT_INSERT_VERSION_STRING_BELOW
yann@1873
    42
    default "5.0.1" if GMP_V_5_0_1
yann@1873
    43
    default "4.3.2" if GMP_V_4_3_2
yann@1534
    44
    default "4.3.1" if GMP_V_4_3_1
yann@1534
    45
    default "4.3.0" if GMP_V_4_3_0
yann@1534
    46
    default "4.2.4" if GMP_V_4_2_4
yann@466
    47
    default "4.2.2" if GMP_V_4_2_2