config/libc/mingw.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Wed Sep 21 22:42:35 2011 +0200 (2011-09-21)
branch1.12
changeset 2685 86010f887870
parent 2017 f637b6c2162b
child 3112 6cb56b3f2d34
permissions -rw-r--r--
kernel/linux: add alternate download locations

Since kernel.org is dead, and there is no announced or known estimated
time or return to normality, it is impossible to download any kernel at
this time.

Add a known-working mirror.

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