config/gmp_mpfr/gmp.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Thu Jun 11 21:47:19 2009 +0000 (2009-06-11)
branch1.4
changeset 1451 25d050084e98
parent 634 c74132339c44
permissions -rw-r--r--
populate: fix installing dynamic linker 'ld.so'

The dynamic linker, ld.so, needs the execute bit to be set.
Detect tht the library being installed is in fact ld.so and
install it with 0755 instead of 0644.

Fix detecting src == dst.

Use a simpler command to copy src -> dst.

Also change echo to printf, get rid of 'echo -n', which is
highly non-portable.


-------- diffstat follows --------
/trunk/scripts/populate.in | 76 43 33 0 +++++++++++++++++++++++++++++-----------------------
1 file changed, 43 insertions(+), 33 deletions(-)
(transplanted from d7ddcb75e0f703e2ba6d17169167356389224870)
     1 # GMP options
     2 
     3 choice
     4     bool
     5     prompt "GMP version"
     6 
     7 config GMP_V_4_2_2
     8     bool
     9     prompt "4.2.2"
    10 
    11 config GMP_V_4_2_4
    12     bool
    13     prompt "4.2.4"
    14 
    15 # CT_INSERT_VERSION_ABOVE
    16 # Don't remove above line!
    17 endchoice
    18 
    19 config GMP_VERSION
    20     string
    21     default "4.2.2" if GMP_V_4_2_2
    22     default "4.2.4" if GMP_V_4_2_4
    23 # CT_INSERT_VERSION_STRING_ABOVE
    24 # Don't remove above line!
    25 
    26 config GMP_CHECK
    27     bool
    28     prompt "Check GMP"
    29     default y
    30     help
    31       It is highly recommended that 'make check' is run against the newly built
    32       GMP library. See http://gmplib.org/