config/libc/mingw.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Mon Dec 12 00:01:54 2011 +0100 (2011-12-12)
changeset 2798 4d92888ec7cb
parent 2017 f637b6c2162b
child 3112 6cb56b3f2d34
permissions -rw-r--r--
kernel/linux: add alternate download locations

Some longterm versions are not in the usual directory.
Account for these new locations.

Get rid of the mirror location, now that the main kernel site is
(almost) back to normal operations.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
     1 # mingw options
     2 
     3 ## depends on MINGW32
     4 ##
     5 ## select LIBC_SUPPORT_WIN32THREADS
     6 ##
     7 ## help The de-facto standard for Mingw distributions.
     8 
     9 choice
    10     bool
    11     prompt "Mingw runtime version"
    12 
    13 # Don't remove next line
    14 # CT_INSERT_VERSION_BELOW
    15 config MINGWRT_V_3_18
    16     bool
    17     prompt "3.18"
    18 
    19 config MINGWRT_V_select
    20     bool
    21     prompt "Other version"
    22 
    23 endchoice
    24 
    25 config MINGWRT_VERSION
    26     string
    27     prompt "Mingw runtime version" if MINGWRT_V_select
    28 # Don't remove next line
    29 # CT_INSERT_VERSION_STRING_BELOW
    30     default "3.18" if MINGWRT_V_3_18
    31     help
    32       Enter the version number of the mingw runtime files to use
    33