config/companion_libs/mpfr.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Wed Jan 06 18:42:41 2010 +0100 (2010-01-06)
changeset 1696 f04fb2d52023
parent 1615 50b25816f5bb
child 1784 dfadefc288c1
permissions -rw-r--r--
complibs/mpfr: add latest version 2.4.2

Note: the MPFR site happens to be down at the time I wrote
this message, and happens to be down quite often.

Once it's back up'n'runnin', I'll mirror as much as possible
the MPFR tarballs on my site, but in the meantime, you'll
have to handle it by yourself (patience...).
     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