config/gmp_mpfr/mpfr.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 1199 4714cf419e98
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 "MPFR version"
     6 
     7 config MPFR_V_2_3_1
     8     bool
     9     prompt "2.3.1"
    10 
    11 config MPFR_V_2_3_2
    12     bool
    13     prompt "2.3.2"
    14 
    15 config MPFR_V_2_4_0
    16     bool
    17     prompt "2.4.0"
    18 
    19 config MPFR_V_2_4_1
    20     bool
    21     prompt "2.4.1"
    22 
    23 # CT_INSERT_VERSION_ABOVE
    24 # Don't remove above line!
    25 endchoice
    26 
    27 config MPFR_VERSION
    28     string
    29     default "2.3.1" if MPFR_V_2_3_1
    30     default "2.3.2" if MPFR_V_2_3_2
    31     default "2.4.0" if MPFR_V_2_4_0
    32     default "2.4.1" if MPFR_V_2_4_1
    33 # CT_INSERT_VERSION_STRING_ABOVE
    34 # Don't remove above line!
    35 
    36 config MPFR_CHECK
    37     bool
    38     prompt "Check MPFR"
    39     default y
    40     help
    41       It is highly recommended that 'make check' is run against the newly built
    42       MPFR library. See http://gmplib.org/