config/companion_libs/gmp.in
author Arnaud Lacombe <lacombar@gmail.com>
Thu Aug 05 17:59:51 2010 +0200 (2010-08-05)
changeset 2069 366bd2b22675
parent 1912 bcc0d5943bfa
child 2651 a171c274bc12
permissions -rw-r--r--
complibs/mpc: fix MPC 0.8.1 build with MPFR 3.0.0

This is the change introduced by revision 734 of MPC repository.

Author: Paul Zimmermann <Paul.Zimmermann@loria.fr>
Revision log: [acos.c] fixed problem with GMP_RNDA (should be MPFR_RNDA, and code was wrong)

Signed-off-by: Arnaud Lacombe <lacombar@gmail.com>
yann@466
     1
# GMP options
yann@466
     2
yann@466
     3
choice
yann@466
     4
    bool
yann@466
     5
    prompt "GMP version"
yann@1535
     6
# Don't remove next line
yann@1535
     7
# CT_INSERT_VERSION_BELOW
yann@466
     8
yann@1873
     9
config GMP_V_5_0_1
yann@1873
    10
    bool
yann@1984
    11
    prompt "5.0.1 (EXPERIMENTAL)"
yann@1912
    12
    depends on EXPERIMENTAL
yann@1873
    13
yann@1873
    14
config GMP_V_4_3_2
yann@1873
    15
    bool
yann@1873
    16
    prompt "4.3.2"
yann@1873
    17
yann@1534
    18
config GMP_V_4_3_1
yann@466
    19
    bool
yann@1534
    20
    prompt "4.3.1"
yann@1534
    21
yann@1534
    22
config GMP_V_4_3_0
yann@1534
    23
    bool
yann@1534
    24
    prompt "4.3.0"
yann@466
    25
yann@902
    26
config GMP_V_4_2_4
yann@902
    27
    bool
yann@1615
    28
    prompt "4.2.4 (OBSOLETE)"
yann@1615
    29
    depends on OBSOLETE
yann@902
    30
yann@1534
    31
config GMP_V_4_2_2
yann@1440
    32
    bool
yann@1615
    33
    prompt "4.2.2 (OBSOLETE)"
yann@1615
    34
    depends on OBSOLETE
yann@1440
    35
yann@466
    36
endchoice
yann@466
    37
yann@466
    38
config GMP_VERSION
yann@466
    39
    string
yann@1535
    40
# Don't remove next line
yann@1535
    41
# CT_INSERT_VERSION_STRING_BELOW
yann@1873
    42
    default "5.0.1" if GMP_V_5_0_1
yann@1873
    43
    default "4.3.2" if GMP_V_4_3_2
yann@1534
    44
    default "4.3.1" if GMP_V_4_3_1
yann@1534
    45
    default "4.3.0" if GMP_V_4_3_0
yann@1534
    46
    default "4.2.4" if GMP_V_4_2_4
yann@466
    47
    default "4.2.2" if GMP_V_4_2_2