config/companion_libs/mpfr.in
author "Yann E. MORIN" <yann.morin.1998@free.fr>
Wed Dec 26 20:05:19 2012 +0100 (2012-12-26)
changeset 3150 1d6fd9bde73c
parent 2957 3e2f2100a76d
child 3208 c92461167049
permissions -rw-r--r--
all: unmark experimental features

It's been some time now we've had those features, so unmark them
being experimental.

It does not mean everything is perfect, but may gather some more
testing of those features.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.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_1_0
    10     bool
    11     prompt "3.1.0"
    12 
    13 config MPFR_V_3_0_1
    14     bool
    15     prompt "3.0.1"
    16 
    17 config MPFR_V_3_0_0
    18     bool
    19     prompt "3.0.0"
    20 
    21 config MPFR_V_2_4_2
    22     bool
    23     prompt "2.4.2"
    24 
    25 config MPFR_V_2_4_1
    26     bool
    27     prompt "2.4.1"
    28 
    29 config MPFR_V_2_4_0
    30     bool
    31     prompt "2.4.0"
    32 
    33 endchoice
    34 
    35 config MPFR_VERSION
    36     string
    37 # Don't remove next line
    38 # CT_INSERT_VERSION_STRING_BELOW
    39     default "3.1.0" if MPFR_V_3_1_0
    40     default "3.0.1" if MPFR_V_3_0_1
    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