config/companion_libs/gmp.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Wed Jul 28 23:55:10 2010 +0200 (2010-07-28)
changeset 2043 efb1058baa31
parent 1912 bcc0d5943bfa
child 2651 a171c274bc12
permissions -rw-r--r--
cc/gcc: add option to enable/disable libmudflap

For some scenarii, libmudflap is not very usefull
or can break the build. Make in an optioon that
defaults to 'N' to be on the safe side.

For the core gcc-s, there is absolutely no need
to build libmidflap.

Idea from: Bernhard Pfund <bernhard@chapter7.ch>
     1 # GMP options
     2 
     3 choice
     4     bool
     5     prompt "GMP version"
     6 # Don't remove next line
     7 # CT_INSERT_VERSION_BELOW
     8 
     9 config GMP_V_5_0_1
    10     bool
    11     prompt "5.0.1 (EXPERIMENTAL)"
    12     depends on EXPERIMENTAL
    13 
    14 config GMP_V_4_3_2
    15     bool
    16     prompt "4.3.2"
    17 
    18 config GMP_V_4_3_1
    19     bool
    20     prompt "4.3.1"
    21 
    22 config GMP_V_4_3_0
    23     bool
    24     prompt "4.3.0"
    25 
    26 config GMP_V_4_2_4
    27     bool
    28     prompt "4.2.4 (OBSOLETE)"
    29     depends on OBSOLETE
    30 
    31 config GMP_V_4_2_2
    32     bool
    33     prompt "4.2.2 (OBSOLETE)"
    34     depends on OBSOLETE
    35 
    36 endchoice
    37 
    38 config GMP_VERSION
    39     string
    40 # Don't remove next line
    41 # CT_INSERT_VERSION_STRING_BELOW
    42     default "5.0.1" if GMP_V_5_0_1
    43     default "4.3.2" if GMP_V_4_3_2
    44     default "4.3.1" if GMP_V_4_3_1
    45     default "4.3.0" if GMP_V_4_3_0
    46     default "4.2.4" if GMP_V_4_2_4
    47     default "4.2.2" if GMP_V_4_2_2