config/companion_libs/mpfr.in
author Johannes Stezenbach <js@sig21.net>
Tue Oct 30 00:22:25 2012 +0000 (2012-10-30)
changeset 3097 5c67476c7342
parent 2756 3976adc582fb
child 3142 6569f6a9060c
permissions -rw-r--r--
scripts/functions: fix endless loop in debug-shell with IO redirection

CT_DEBUG_INTERACTIVE is disabled when stdin, stdout or
stderr are redirected, but the check is only done at
the start of the build and doesn't catch when individual
build commands use redirection. When stdin is redirected
it will cause the debug shell to exit immediately, causing
and endless loop. Thus, save the stdin/our/err file handles
and restore them before invoking the debug shell.

Signed-off-by: Johannes Stezenbach <js@sig21.net>
Message-Id: <20121030102225.GA8303@sig21.net>
Patchwork-Id: 195409
     1 # GMP options
     2 
     3 choice
     4     bool
     5     prompt "MPFR version"
     6 # Don't remove next line
     7 # CT_INSERT_VERSION_BELOW
     8 
     9 config MPFR_V_3_1_0
    10     bool
    11     prompt "3.1.0"
    12 
    13 config MPFR_V_3_0_1
    14     bool
    15     prompt "3.0.1"
    16 
    17 config MPFR_V_3_0_0
    18     bool
    19     prompt "3.0.0"
    20 
    21 config MPFR_V_2_4_2
    22     bool
    23     prompt "2.4.2"
    24 
    25 config MPFR_V_2_4_1
    26     bool
    27     prompt "2.4.1"
    28 
    29 config MPFR_V_2_4_0
    30     bool
    31     prompt "2.4.0"
    32 
    33 config MPFR_V_2_3_2
    34     bool
    35     prompt "2.3.2 (OBSOLETE)"
    36     depends on OBSOLETE
    37 
    38 config MPFR_V_2_3_1
    39     bool
    40     prompt "2.3.1 (OBSOLETE)"
    41     depends on OBSOLETE
    42 
    43 endchoice
    44 
    45 config MPFR_VERSION
    46     string
    47 # Don't remove next line
    48 # CT_INSERT_VERSION_STRING_BELOW
    49     default "3.1.0" if MPFR_V_3_1_0
    50     default "3.0.1" if MPFR_V_3_0_1
    51     default "3.0.0" if MPFR_V_3_0_0
    52     default "2.4.2" if MPFR_V_2_4_2
    53     default "2.4.1" if MPFR_V_2_4_1
    54     default "2.4.0" if MPFR_V_2_4_0
    55     default "2.3.2" if MPFR_V_2_3_2
    56     default "2.3.1" if MPFR_V_2_3_1