crosstool-ng: config/gmp_mpfr/mpfr.in@3ba2a43353df

Rationalise ./configure
- borrow a lot of ideas from Michael ABBOTT ( http://sourceware.org/ml/crossgcc/2008-12/msg00030.html )
- should be conforming to POSIX 1003.1-2008, non compliance due to bashsims is to be considered a bug
- as a result, it now works with dash
- make a little easier to read in some places
- enforce 4-space indentation
- get rid of futile 'return $?'
- quote all variables assignments
- save and restore IFS prior to and after using alternate values
- simplify the TOOLS_TO_CHECK listing

What's left:
- provide a mean to actually _compare_ version numbers
- change the TOOLS_TO_CHECK pattern style to be able to use '|' in regexp

/trunk/configure | 243 127 116 0 ++++++++++++++++++++++++++++++++------------------------------
1 file changed, 127 insertions(+), 116 deletions(-)

     1 # GMP options

     3 choice

     4     bool

     5     prompt "MPFR version"

     7 config MPFR_V_2_3_1

     8     bool

     9     prompt "2.3.1"

    11 config MPFR_V_2_3_2

    12     bool

    13     prompt "2.3.2"

    15 # CT_INSERT_VERSION_ABOVE

    16 # Don't remove above line!

    17 endchoice

    19 config MPFR_VERSION

    20     string

    21     default "2.3.1" if MPFR_V_2_3_1

    22     default "2.3.2" if MPFR_V_2_3_2

    23 # CT_INSERT_VERSION_STRING_ABOVE

    24 # Don't remove above line!

    26 config MPFR_CHECK

    27     bool

    28     prompt "Check MPFR"

    29     default y

    30     help

    31       It is highly recommended that 'make check' is run against the newly built

    32       MPFR library. See http://gmplib.org/

author	"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
	Mon Dec 22 18:21:51 2008 +0000 (2008-12-22)
changeset 1105	3ba2a43353df
parent 634	c74132339c44
child 1199	4714cf419e98
permissions	-rw-r--r--