config/companion_libs/mpfr.in
author "Yann E. MORIN" <yann.morin.1998@free.fr>
Mon Feb 25 21:19:31 2013 +0100 (2013-02-25)
changeset 3185 f89f8e6f8766
parent 2957 3e2f2100a76d
child 3208 c92461167049
permissions -rw-r--r--
Makefile: fix parrallel (-j) installs

Currently, we would remove previously installed patches before
installing the new ones. Unfortunately, that does not play well
with heavily parallel installs.

Now, we consider it is the responsibility of the user to first
uninstall any previous version before installing a new one.

Reported-by: Markos Chandras <markos.chandras@gmail.com>
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
     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_1_0
    10     bool
    11     prompt "3.1.0"
    12 
    13 config MPFR_V_3_0_1
    14     bool
    15     prompt "3.0.1"
    16 
    17 config MPFR_V_3_0_0
    18     bool
    19     prompt "3.0.0"
    20 
    21 config MPFR_V_2_4_2
    22     bool
    23     prompt "2.4.2"
    24 
    25 config MPFR_V_2_4_1
    26     bool
    27     prompt "2.4.1"
    28 
    29 config MPFR_V_2_4_0
    30     bool
    31     prompt "2.4.0"
    32 
    33 endchoice
    34 
    35 config MPFR_VERSION
    36     string
    37 # Don't remove next line
    38 # CT_INSERT_VERSION_STRING_BELOW
    39     default "3.1.0" if MPFR_V_3_1_0
    40     default "3.0.1" if MPFR_V_3_0_1
    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