diorcet@3112: # This file declares functions to install the kernel headers for mingw64
diorcet@3112: # Copyright 2012 Yann Diorcet
diorcet@3112: # Licensed under the GPL v2. See COPYING in the root of this package
diorcet@3112: 
diorcet@3112: CT_DoKernelTupleValues() {
diorcet@3112:     # Even we compile for x86_64 target architecture, the target OS have to
diorcet@3112:     # bet mingw32 (require by gcc and mingw-w64)
diorcet@3112:     CT_TARGET_KERNEL="mingw32"
diorcet@3112:     CT_TARGET_SYS=
diorcet@3112: }
diorcet@3112: 
diorcet@3112: do_kernel_get() {
diorcet@3112:     :
diorcet@3112: }
diorcet@3112: 
diorcet@3112: do_kernel_extract() {
diorcet@3112:     :
diorcet@3112: }
diorcet@3112: 
diorcet@3112: do_kernel_headers() {
diorcet@3112:    :
diorcet@3112: }