config/companion_libs/mpfr.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 1784 dfadefc288c1
child 2436 c3e0c65b7b93
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 "MPFR version"
     6 # Don't remove next line
     7 # CT_INSERT_VERSION_BELOW
     8 
     9 config MPFR_V_3_0_0
    10     bool
    11     prompt "3.0.0"
    12 
    13 config MPFR_V_2_4_2
    14     bool
    15     prompt "2.4.2"
    16 
    17 config MPFR_V_2_4_1
    18     bool
    19     prompt "2.4.1"
    20 
    21 config MPFR_V_2_4_0
    22     bool
    23     prompt "2.4.0"
    24 
    25 config MPFR_V_2_3_2
    26     bool
    27     prompt "2.3.2 (OBSOLETE)"
    28     depends on OBSOLETE
    29 
    30 config MPFR_V_2_3_1
    31     bool
    32     prompt "2.3.1 (OBSOLETE)"
    33     depends on OBSOLETE
    34 
    35 endchoice
    36 
    37 config MPFR_VERSION
    38     string
    39 # Don't remove next line
    40 # CT_INSERT_VERSION_STRING_BELOW
    41     default "3.0.0" if MPFR_V_3_0_0
    42     default "2.4.2" if MPFR_V_2_4_2
    43     default "2.4.1" if MPFR_V_2_4_1
    44     default "2.4.0" if MPFR_V_2_4_0
    45     default "2.3.2" if MPFR_V_2_3_2
    46     default "2.3.1" if MPFR_V_2_3_1