bartvdrmeulen@2017: # This file declares functions to install the kernel headers for mingw
bartvdrmeulen@2017: # Copyright 2009 Bart vdr. Meulen
bartvdrmeulen@2017: # Licensed under the GPL v2. See COPYING in the root of this package
bartvdrmeulen@2017: 
bartvdrmeulen@2017: CT_DoKernelTupleValues() {
bartvdrmeulen@2017:     CT_TARGET_KERNEL="mingw32"
bartvdrmeulen@2017:     CT_TARGET_SYS=
bartvdrmeulen@2017: }
bartvdrmeulen@2017: 
bartvdrmeulen@2017: do_kernel_get() {
bartvdrmeulen@2017:     CT_GetFile "w32api-${CT_W32API_VERSION}-mingw32-src" \
bartvdrmeulen@2017:         http://downloads.sourceforge.net/sourceforge/mingw
bartvdrmeulen@2017: }
bartvdrmeulen@2017: 
bartvdrmeulen@2017: do_kernel_extract() {
bartvdrmeulen@2017:     CT_Extract "w32api-${CT_W32API_VERSION}-mingw32-src"
bartvdrmeulen@2017: }
bartvdrmeulen@2017: 
bartvdrmeulen@2017: do_kernel_headers() {
bartvdrmeulen@2017:     CT_DoStep INFO "Installing kernel headers"
bartvdrmeulen@2017: 
bartvdrmeulen@2017:     mkdir -p "${CT_SYSROOT_DIR}/include"
bartvdrmeulen@2017:     cp -r ${CT_SRC_DIR}/w32api-${CT_W32API_VERSION}-mingw32/include \
bartvdrmeulen@2017:           ${CT_SYSROOT_DIR}
bartvdrmeulen@2017: 
bartvdrmeulen@2017:     CT_EndStep
bartvdrmeulen@2017: }