diff -r 896cb0d36c1a -r 6cb56b3f2d34 config/libc/mingw.in
--- a/config/libc/mingw.in	Sun May 08 19:02:44 2011 +0200
+++ b/config/libc/mingw.in	Wed Nov 14 14:05:49 2012 +0100
@@ -1,6 +1,6 @@
 # mingw options
 
-## depends on MINGW32
+## depends on WINDOWS
 ##
 ## select LIBC_SUPPORT_WIN32THREADS
 ##
@@ -8,26 +8,33 @@
 
 choice
     bool
-    prompt "Mingw runtime version"
+    prompt "Windows API version"
 
 # Don't remove next line
 # CT_INSERT_VERSION_BELOW
-config MINGWRT_V_3_18
+config WINAPI_V_2_0_7
     bool
-    prompt "3.18"
+    prompt "2.0.7"
 
-config MINGWRT_V_select
+config WINAPI_V_select
     bool
     prompt "Other version"
 
 endchoice
 
-config MINGWRT_VERSION
+config WINAPI_VERSION
     string
-    prompt "Mingw runtime version" if MINGWRT_V_select
+    prompt "Windows API version" if WINAPI_V_select
 # Don't remove next line
 # CT_INSERT_VERSION_STRING_BELOW
-    default "3.18" if MINGWRT_V_3_18
+    default "2.0.7" if WINAPI_V_2_0_7
     help
-      Enter the version number of the mingw runtime files to use
+      Enter the version number of the Windows API files to use
 
+config MINGW_DIRECTX
+    bool
+    prompt "Include DirectX development files"
+
+config MINGW_DDK
+    bool
+    prompt "Include DDK development files"