config/libc/mingw.in
author "Yann E. MORIN" <yann.morin.1998@free.fr>
Mon Feb 25 21:19:31 2013 +0100 (2013-02-25)
changeset 3185 f89f8e6f8766
parent 3112 6cb56b3f2d34
permissions -rw-r--r--
Makefile: fix parrallel (-j) installs

Currently, we would remove previously installed patches before
installing the new ones. Unfortunately, that does not play well
with heavily parallel installs.

Now, we consider it is the responsibility of the user to first
uninstall any previous version before installing a new one.

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