summaryrefslogtreecommitdiff
path: root/config/kernel/mingw32.in
diff options
context:
space:
mode:
Diffstat (limited to 'config/kernel/mingw32.in')
-rw-r--r--config/kernel/mingw32.in32
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
+