libc/mingw: replace mingw32 with generic mingw

Replace the 32-bit-only mingw32 with mingw-w64 that is capable
of building toolchains for both 32-bit and 64-bit Windows.

kernel/mingw: replace mingw32 with generic Windows
kernel/windows: New windows kernel supporting 32 and 64 bit arch
libc/mingw: Remove old options
patches: Remove old mingw libc options' patches

Signed-off-by: "Yann Diorcet" <diorcet.yann@gmail.com>
[yann.morin.1998@free.fr: array var in libc/mingw.sh, typos]
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
Message-Id: <b045ac08fc9eac2e5ee3.1352898499@blackmint>
Patchwork-Id: 198901

2 files changed, 22 insertions, 27 deletions

diff --git a/scripts/build/kernel/mingw32.sh b/scripts/build/kernel/mingw32.sh
deleted file mode 100644
index 24ab6c5c..00000000
--- a/scripts/build/kernel/mingw32.sh
+++ /dev/null
@@ -1,27 +0,0 @@
-# This file declares functions to install the kernel headers for mingw
-# Copyright 2009 Bart vdr. Meulen
-# Licensed under the GPL v2. See COPYING in the root of this package
-
-CT_DoKernelTupleValues() {
-    CT_TARGET_KERNEL="mingw32"
-    CT_TARGET_SYS=
-}
-
-do_kernel_get() {
-    CT_GetFile "w32api-${CT_W32API_VERSION}-mingw32-src" \
-        http://downloads.sourceforge.net/sourceforge/mingw
-}
-
-do_kernel_extract() {
-    CT_Extract "w32api-${CT_W32API_VERSION}-mingw32-src"
-}
-
-do_kernel_headers() {
-    CT_DoStep INFO "Installing kernel headers"
-
-    mkdir -p "${CT_HEADERS_DIR}"
-    cp -r ${CT_SRC_DIR}/w32api-${CT_W32API_VERSION}-mingw32-src/include/*   \
-          ${CT_HEADERS_DIR}
-
-    CT_EndStep
-}
diff --git a/scripts/build/kernel/windows.sh b/scripts/build/kernel/windows.sh
new file mode 100644
index 00000000..5e344202
--- /dev/null
+++ b/scripts/build/kernel/windows.sh
@@ -0,0 +1,22 @@
+# This file declares functions to install the kernel headers for mingw64
+# Copyright 2012 Yann Diorcet
+# Licensed under the GPL v2. See COPYING in the root of this package
+
+CT_DoKernelTupleValues() {
+    # Even we compile for x86_64 target architecture, the target OS have to
+    # bet mingw32 (require by gcc and mingw-w64)
+    CT_TARGET_KERNEL="mingw32"
+    CT_TARGET_SYS=
+}
+
+do_kernel_get() {
+    :
+}
+
+do_kernel_extract() {
+    :
+}
+
+do_kernel_headers() {
+   :
+}