|
@@ -77,20 +77,24 @@ fi
|
|
tmpdir="$objtree/debian/tmp"
|
|
tmpdir="$objtree/debian/tmp"
|
|
fwdir="$objtree/debian/fwtmp"
|
|
fwdir="$objtree/debian/fwtmp"
|
|
hdrdir="$objtree/debian/hdrtmp"
|
|
hdrdir="$objtree/debian/hdrtmp"
|
|
|
|
+headerdir="$objtree/debian/headertmp"
|
|
packagename=linux-image-$version
|
|
packagename=linux-image-$version
|
|
fwpackagename=linux-firmware-image
|
|
fwpackagename=linux-firmware-image
|
|
hdrpackagename=linux-headers-$version
|
|
hdrpackagename=linux-headers-$version
|
|
|
|
+headerpackagename=linux-libc-dev
|
|
|
|
|
|
if [ "$ARCH" = "um" ] ; then
|
|
if [ "$ARCH" = "um" ] ; then
|
|
packagename=user-mode-linux-$version
|
|
packagename=user-mode-linux-$version
|
|
fi
|
|
fi
|
|
|
|
|
|
# Setup the directory structure
|
|
# Setup the directory structure
|
|
-rm -rf "$tmpdir" "$fwdir" "$hdrdir"
|
|
|
|
|
|
+rm -rf "$tmpdir" "$fwdir" "$hdrdir" "$headerdir"
|
|
mkdir -m 755 -p "$tmpdir/DEBIAN"
|
|
mkdir -m 755 -p "$tmpdir/DEBIAN"
|
|
mkdir -p "$tmpdir/lib" "$tmpdir/boot" "$tmpdir/usr/share/doc/$packagename"
|
|
mkdir -p "$tmpdir/lib" "$tmpdir/boot" "$tmpdir/usr/share/doc/$packagename"
|
|
mkdir -m 755 -p "$fwdir/DEBIAN"
|
|
mkdir -m 755 -p "$fwdir/DEBIAN"
|
|
mkdir -p "$fwdir/lib" "$fwdir/usr/share/doc/$fwpackagename"
|
|
mkdir -p "$fwdir/lib" "$fwdir/usr/share/doc/$fwpackagename"
|
|
|
|
+mkdir -m 755 -p "$headerdir/DEBIAN"
|
|
|
|
+mkdir -p "$headerdir/usr/share/doc/$headerpackagename"
|
|
if [ "$ARCH" = "um" ] ; then
|
|
if [ "$ARCH" = "um" ] ; then
|
|
mkdir -p "$tmpdir/usr/lib/uml/modules/$version" "$tmpdir/usr/bin"
|
|
mkdir -p "$tmpdir/usr/lib/uml/modules/$version" "$tmpdir/usr/bin"
|
|
fi
|
|
fi
|
|
@@ -121,6 +125,9 @@ if grep -q '^CONFIG_MODULES=y' .config ; then
|
|
fi
|
|
fi
|
|
fi
|
|
fi
|
|
|
|
|
|
|
|
+make headers_check
|
|
|
|
+make headers_install INSTALL_HDR_PATH="$headerdir/usr"
|
|
|
|
+
|
|
# Install the maintainer scripts
|
|
# Install the maintainer scripts
|
|
# Note: hook scripts under /etc/kernel are also executed by official Debian
|
|
# Note: hook scripts under /etc/kernel are also executed by official Debian
|
|
# kernel packages, as well as kernel packages built using make-kpkg
|
|
# kernel packages, as well as kernel packages built using make-kpkg
|
|
@@ -267,6 +274,18 @@ EOF
|
|
create_package "$fwpackagename" "$fwdir"
|
|
create_package "$fwpackagename" "$fwdir"
|
|
fi
|
|
fi
|
|
|
|
|
|
|
|
+cat <<EOF >> debian/control
|
|
|
|
+
|
|
|
|
+Package: $headerpackagename
|
|
|
|
+Section: devel
|
|
|
|
+Provides: linux-kernel-headers
|
|
|
|
+Architecture: any
|
|
|
|
+Description: Linux support headers for userspace development
|
|
|
|
+ This package provides userspaces headers from the Linux kernel. These headers
|
|
|
|
+ are used by the installed headers for GNU glibc and other system libraries.
|
|
|
|
+EOF
|
|
|
|
+
|
|
|
|
+create_package "$headerpackagename" "$headerdir"
|
|
create_package "$packagename" "$tmpdir"
|
|
create_package "$packagename" "$tmpdir"
|
|
|
|
|
|
exit 0
|
|
exit 0
|