config/libc/mingw.in
author "Yann E. MORIN" <yann.morin.1998@free.fr>
Tue Mar 11 22:11:43 2014 +0100 (2014-03-11)
changeset 3293 e11a8a2e225d
parent 3112 6cb56b3f2d34
permissions -rw-r--r--
comptools: do not force build of make-3.81 unless really needed

On systems with make-3.82, we forcibly force the build and the use
of make-3.81

But some newer tools break when building with make-3.81. For example,
eglibc-3.18 breaks.

Introduce a new blind options that tools may select if they require
make-3.81. If the system does not have make-3.81, and this option is
selected, then we force the build of make-3.81. Otherwise, we leave
it to the user to decide on his own.

Note that no component selects this option for now. It will come in
later patches as we find them.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
bartvdrmeulen@2017
     1
# mingw options
bartvdrmeulen@2017
     2
diorcet@3112
     3
## depends on WINDOWS
yann@2444
     4
##
yann@2444
     5
## select LIBC_SUPPORT_WIN32THREADS
diorcet@3131
     6
## select CC_CORE_PASSES_NEEDED
yann@2444
     7
##
yann@2444
     8
## help The de-facto standard for Mingw distributions.
bartvdrmeulen@2017
     9
bartvdrmeulen@2017
    10
choice
bartvdrmeulen@2017
    11
    bool
diorcet@3112
    12
    prompt "Windows API version"
bartvdrmeulen@2017
    13
bartvdrmeulen@2017
    14
# Don't remove next line
bartvdrmeulen@2017
    15
# CT_INSERT_VERSION_BELOW
diorcet@3112
    16
config WINAPI_V_2_0_7
bartvdrmeulen@2017
    17
    bool
diorcet@3112
    18
    prompt "2.0.7"
bartvdrmeulen@2017
    19
diorcet@3112
    20
config WINAPI_V_select
bartvdrmeulen@2017
    21
    bool
bartvdrmeulen@2017
    22
    prompt "Other version"
bartvdrmeulen@2017
    23
bartvdrmeulen@2017
    24
endchoice
bartvdrmeulen@2017
    25
diorcet@3112
    26
config WINAPI_VERSION
bartvdrmeulen@2017
    27
    string
diorcet@3112
    28
    prompt "Windows API version" if WINAPI_V_select
bartvdrmeulen@2017
    29
# Don't remove next line
bartvdrmeulen@2017
    30
# CT_INSERT_VERSION_STRING_BELOW
diorcet@3112
    31
    default "2.0.7" if WINAPI_V_2_0_7
bartvdrmeulen@2017
    32
    help
diorcet@3112
    33
      Enter the version number of the Windows API files to use
bartvdrmeulen@2017
    34
diorcet@3112
    35
config MINGW_DIRECTX
diorcet@3112
    36
    bool
diorcet@3112
    37
    prompt "Include DirectX development files"
diorcet@3112
    38
diorcet@3112
    39
config MINGW_DDK
diorcet@3112
    40
    bool
diorcet@3112
    41
    prompt "Include DDK development files"