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>
     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