config/companion_libs/mpfr.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Fri Jan 28 22:06:49 2011 +0100 (2011-01-28)
changeset 2284 7ede374110e5
parent 1784 dfadefc288c1
child 2436 c3e0c65b7b93
permissions -rw-r--r--
config: add an option not to remove the destination directory

In certain circumstances, removing the destination/installation directory
is a bad idea. For example, when the build environment is already taking
care of sanitising the build tree, and pre-installs stuff in there, it is
a very bad idea to remove the destination directory.

This happens now in buildroot, as the crostool-NG backend now installs the
toolchain in the common host-tools directory, and pre-install there a few
host-utilities (eg. host-automake and host-gawk).

Provide a config knob to turn on/off the removal of the destination
directory, defaulting to 'y' (previous behavior), and forced to 'n' when
used as a backend.

Reported-by: Peter Korsgaard <jacmet@sunsite.dk>
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.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_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