config/companion_libs/gmp.in
author Bart vdr. Meulen <bartvdrmeulen@gmail.com>
Fri Apr 09 21:04:24 2010 +0200 (2010-04-09)
changeset 1895 3ea4e6f7b85f
parent 1615 50b25816f5bb
child 1912 bcc0d5943bfa
permissions -rw-r--r--
[CT-NG:patch 05/19] Force autoreconf for mpfr

In some exotic case the autoreconf step of mpfr is not executed (correctly)
leaving an incorrect version number for libtool in the configure script.

After extracting the sources files, force autoreconf to be executed.

Signed-off-by: Bart vdr. Meulen <bartvdrmeulen@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@1873
    11
    prompt "5.0.1"
yann@1873
    12
yann@1873
    13
config GMP_V_4_3_2
yann@1873
    14
    bool
yann@1873
    15
    prompt "4.3.2"
yann@1873
    16
yann@1534
    17
config GMP_V_4_3_1
yann@466
    18
    bool
yann@1534
    19
    prompt "4.3.1"
yann@1534
    20
yann@1534
    21
config GMP_V_4_3_0
yann@1534
    22
    bool
yann@1534
    23
    prompt "4.3.0"
yann@466
    24
yann@902
    25
config GMP_V_4_2_4
yann@902
    26
    bool
yann@1615
    27
    prompt "4.2.4 (OBSOLETE)"
yann@1615
    28
    depends on OBSOLETE
yann@902
    29
yann@1534
    30
config GMP_V_4_2_2
yann@1440
    31
    bool
yann@1615
    32
    prompt "4.2.2 (OBSOLETE)"
yann@1615
    33
    depends on OBSOLETE
yann@1440
    34
yann@466
    35
endchoice
yann@466
    36
yann@466
    37
config GMP_VERSION
yann@466
    38
    string
yann@1535
    39
# Don't remove next line
yann@1535
    40
# CT_INSERT_VERSION_STRING_BELOW
yann@1873
    41
    default "5.0.1" if GMP_V_5_0_1
yann@1873
    42
    default "4.3.2" if GMP_V_4_3_2
yann@1534
    43
    default "4.3.1" if GMP_V_4_3_1
yann@1534
    44
    default "4.3.0" if GMP_V_4_3_0
yann@1534
    45
    default "4.2.4" if GMP_V_4_2_4
yann@466
    46
    default "4.2.2" if GMP_V_4_2_2