config/libc/mingw.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
child 2444 896cb0d36c1a
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 # mingw options
     2 # depends on MINGW32
     3 
     4 config LIBC_mingw
     5     bool
     6     select LIBC_SUPPORT_WIN32THREADS
     7     help
     8       The de-facto standard for Mingw distributions.
     9 
    10 choice
    11     bool
    12     prompt "Mingw runtime version"
    13 
    14 # Don't remove next line
    15 # CT_INSERT_VERSION_BELOW
    16 config MINGWRT_V_3_18
    17     bool
    18     prompt "3.18"
    19 
    20 config MINGWRT_V_select
    21     bool
    22     prompt "Other version"
    23 
    24 endchoice
    25 
    26 config MINGWRT_VERSION
    27     string
    28     prompt "Mingw runtime version" if MINGWRT_V_select
    29 # Don't remove next line
    30 # CT_INSERT_VERSION_STRING_BELOW
    31     default "3.18" if MINGWRT_V_3_18
    32     help
    33       Enter the version number of the mingw runtime files to use
    34