config/companion_libs/ppl.in
author Bart vdr. Meulen <bartvdrmeulen@gmail.com>
Fri Apr 09 21:04:24 2010 +0200 (2010-04-09)
changeset 1895 3ea4e6f7b85f
parent 1386 7995942261f2
child 2072 72b3996ba3e6
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@1324
     1
# PPL options
yann@1324
     2
yann@1324
     3
choice
yann@1324
     4
    bool
yann@1324
     5
    prompt "PPL version"
yann@1535
     6
# Don't remove next line
yann@1535
     7
# CT_INSERT_VERSION_BELOW
yann@1324
     8
yann@1324
     9
config PPL_V_0_10_2
yann@1324
    10
    bool
yann@1324
    11
    prompt "0.10.2"
yann@1324
    12
yann@1324
    13
endchoice
yann@1324
    14
yann@1324
    15
config PPL_VERSION
yann@1324
    16
    string
yann@1535
    17
# Don't remove next line
yann@1535
    18
# CT_INSERT_VERSION_STRING_BELOW
yann@1324
    19
    default "0.10.2" if PPL_V_0_10_2