1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/config/kernel/mingw32.in	Sun Jul 11 21:36:20 2010 +0200
     1.3 @@ -0,0 +1,32 @@
     1.4 +# mingw32 config options
     1.5 +
     1.6 +config KERNEL_mingw32
     1.7 +    select MINGW32
     1.8 +    help
     1.9 +      Build a toolchain targeting systems running Windows as host
    1.10 +
    1.11 +choice
    1.12 +    bool
    1.13 +    prompt "Windows api version"
    1.14 +
    1.15 +# Don't remove next line
    1.16 +# CT_INSERT_VERSION_BELOW
    1.17 +config W32API_V_3_14
    1.18 +    bool
    1.19 +    prompt "3.14"
    1.20 +
    1.21 +config W32API_V_select
    1.22 +    bool
    1.23 +    prompt "Other version"
    1.24 +
    1.25 +endchoice
    1.26 +
    1.27 +config W32API_VERSION
    1.28 +    string
    1.29 +    prompt "W32 api version" if W32API_V_select
    1.30 +# Don't remove next line
    1.31 +# CT_INSERT_VERSION_STRING_BELOW
    1.32 +    default "3.14" if W32API_V_3_14
    1.33 +    help
    1.34 +      Enter the version number of the windows api files to use
    1.35 +