config/libc/mingw.in
author Bryan Hundven <bryanhundven@gmail.com>
Sun Aug 19 01:09:40 2012 -0700 (2012-08-19)
branch1.16
changeset 3046 de4120991433
parent 2017 f637b6c2162b
child 3112 6cb56b3f2d34
permissions -rw-r--r--
scripts: use generic urls for sourceforge

For expat, duma, and strace, use the generic url and 302 to the mirror
instead of trying to download a file from a downed mirror and
failing.

Signed-off-by: Bryan Hundven <bryanhundven@gmail.com>
Message-Id: <b69ebeb72fef93c04c84.1345364051@flambe.is-a-geek.org>
(transplanted from cb75966698d7e44bc76445d7b249eba89bdf1d8a)
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