config/companion_libs/gmp.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 1912 bcc0d5943bfa
child 2651 a171c274bc12
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 "GMP version"
     6 # Don't remove next line
     7 # CT_INSERT_VERSION_BELOW
     8 
     9 config GMP_V_5_0_1
    10     bool
    11     prompt "5.0.1 (EXPERIMENTAL)"
    12     depends on EXPERIMENTAL
    13 
    14 config GMP_V_4_3_2
    15     bool
    16     prompt "4.3.2"
    17 
    18 config GMP_V_4_3_1
    19     bool
    20     prompt "4.3.1"
    21 
    22 config GMP_V_4_3_0
    23     bool
    24     prompt "4.3.0"
    25 
    26 config GMP_V_4_2_4
    27     bool
    28     prompt "4.2.4 (OBSOLETE)"
    29     depends on OBSOLETE
    30 
    31 config GMP_V_4_2_2
    32     bool
    33     prompt "4.2.2 (OBSOLETE)"
    34     depends on OBSOLETE
    35 
    36 endchoice
    37 
    38 config GMP_VERSION
    39     string
    40 # Don't remove next line
    41 # CT_INSERT_VERSION_STRING_BELOW
    42     default "5.0.1" if GMP_V_5_0_1
    43     default "4.3.2" if GMP_V_4_3_2
    44     default "4.3.1" if GMP_V_4_3_1
    45     default "4.3.0" if GMP_V_4_3_0
    46     default "4.2.4" if GMP_V_4_2_4
    47     default "4.2.2" if GMP_V_4_2_2