config/companion_libs/mpfr.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Tue Jan 12 19:24:03 2010 +0100 (2010-01-12)
changeset 1761 88020b2c3246
parent 1615 50b25816f5bb
child 1784 dfadefc288c1
permissions -rw-r--r--
scripts/functions: change handling of nochdir

- 'nochdir' must be the first option
- have systematic pushd/popd, even if nochdir
     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_2_4_2
    10     bool
    11     prompt "2.4.2 (EXPERIMENTAL)"
    12     depends on EXPERIMENTAL
    13 
    14 config MPFR_V_2_4_1
    15     bool
    16     prompt "2.4.1"
    17 
    18 config MPFR_V_2_4_0
    19     bool
    20     prompt "2.4.0"
    21 
    22 config MPFR_V_2_3_2
    23     bool
    24     prompt "2.3.2 (OBSOLETE)"
    25     depends on OBSOLETE
    26 
    27 config MPFR_V_2_3_1
    28     bool
    29     prompt "2.3.1 (OBSOLETE)"
    30     depends on OBSOLETE
    31 
    32 endchoice
    33 
    34 config MPFR_VERSION
    35     string
    36 # Don't remove next line
    37 # CT_INSERT_VERSION_STRING_BELOW
    38     default "2.4.2" if MPFR_V_2_4_2
    39     default "2.4.1" if MPFR_V_2_4_1
    40     default "2.4.0" if MPFR_V_2_4_0
    41     default "2.3.2" if MPFR_V_2_3_2
    42     default "2.3.1" if MPFR_V_2_3_1