config/companion_libs/mpfr.in
author Arnaud Lacombe <lacombar@gmail.com>
Thu Aug 05 17:59:49 2010 +0200 (2010-08-05)
changeset 2067 477c7955e6b0
parent 1784 dfadefc288c1
child 2436 c3e0c65b7b93
permissions -rw-r--r--
complibs/ppl: fix PPL build with GMP 5.x.x

From http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=9c19bc2b318a35016e0189f9552c98910be37f53

Author: Roberto Bagnara <bagnara@cs.unipr.it>
Revision log: Added support for GMP 5.0.

Adapted manually to match and not having to re-generate the configure script.

Signed-off-by: Arnaud Lacombe <lacombar@gmail.com>
     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