Set the execute bit on generated script at build time, not install time.
Do not advertise "make install" when ./configure-d with "--local".
-------- diffstat follows --------
/trunk/configure | 8 5 3 0 +++++---
/trunk/Makefile.in | 10 3 7 0 +++-------
2 files changed, 8 insertions(+), 10 deletions(-)
15 # CT_INSERT_VERSION_ABOVE
16 # Don't remove above line!
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!
31 It is highly recommended that 'make check' is run against the newly built
32 GMP library. See http://gmplib.org/