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: 
eha@2084:     mkdir -p "${CT_HEADERS_DIR}"
eha@2084:     cp -r ${CT_SRC_DIR}/w32api-${CT_W32API_VERSION}-mingw32/include/* \
eha@2084:           ${CT_HEADERS_DIR}
bartvdrmeulen@2017: 
bartvdrmeulen@2017:     CT_EndStep
bartvdrmeulen@2017: }