diff options
Diffstat (limited to 'config/kernel')
-rw-r--r-- | config/kernel/mingw32.in | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/config/kernel/mingw32.in b/config/kernel/mingw32.in new file mode 100644 index 0000000..1496d05 --- /dev/null +++ b/config/kernel/mingw32.in @@ -0,0 +1,32 @@ +# mingw32 config options + +config KERNEL_mingw32 + select MINGW32 + help + Build a toolchain targeting systems running Windows as host + +choice + bool + prompt "Windows api version" + +# Don't remove next line +# CT_INSERT_VERSION_BELOW +config W32API_V_3_14 + bool + prompt "3.14" + +config W32API_V_select + bool + prompt "Other version" + +endchoice + +config W32API_VERSION + string + prompt "W32 api version" if W32API_V_select +# Don't remove next line +# CT_INSERT_VERSION_STRING_BELOW + default "3.14" if W32API_V_3_14 + help + Enter the version number of the windows api files to use + |