diff options
-rw-r--r-- | scripts/package/builddeb | 21 |
1 files changed, 20 insertions, 1 deletions
diff --git a/scripts/package/builddeb b/scripts/package/builddeb index 5fc1e6f71838..8c1f8d4d156c 100644 --- a/scripts/package/builddeb +++ b/scripts/package/builddeb | |||
@@ -77,20 +77,24 @@ fi | |||
77 | tmpdir="$objtree/debian/tmp" | 77 | tmpdir="$objtree/debian/tmp" |
78 | fwdir="$objtree/debian/fwtmp" | 78 | fwdir="$objtree/debian/fwtmp" |
79 | hdrdir="$objtree/debian/hdrtmp" | 79 | hdrdir="$objtree/debian/hdrtmp" |
80 | headerdir="$objtree/debian/headertmp" | ||
80 | packagename=linux-image-$version | 81 | packagename=linux-image-$version |
81 | fwpackagename=linux-firmware-image | 82 | fwpackagename=linux-firmware-image |
82 | hdrpackagename=linux-headers-$version | 83 | hdrpackagename=linux-headers-$version |
84 | headerpackagename=linux-libc-dev | ||
83 | 85 | ||
84 | if [ "$ARCH" = "um" ] ; then | 86 | if [ "$ARCH" = "um" ] ; then |
85 | packagename=user-mode-linux-$version | 87 | packagename=user-mode-linux-$version |
86 | fi | 88 | fi |
87 | 89 | ||
88 | # Setup the directory structure | 90 | # Setup the directory structure |
89 | rm -rf "$tmpdir" "$fwdir" "$hdrdir" | 91 | rm -rf "$tmpdir" "$fwdir" "$hdrdir" "$headerdir" |
90 | mkdir -m 755 -p "$tmpdir/DEBIAN" | 92 | mkdir -m 755 -p "$tmpdir/DEBIAN" |
91 | mkdir -p "$tmpdir/lib" "$tmpdir/boot" "$tmpdir/usr/share/doc/$packagename" | 93 | mkdir -p "$tmpdir/lib" "$tmpdir/boot" "$tmpdir/usr/share/doc/$packagename" |
92 | mkdir -m 755 -p "$fwdir/DEBIAN" | 94 | mkdir -m 755 -p "$fwdir/DEBIAN" |
93 | mkdir -p "$fwdir/lib" "$fwdir/usr/share/doc/$fwpackagename" | 95 | mkdir -p "$fwdir/lib" "$fwdir/usr/share/doc/$fwpackagename" |
96 | mkdir -m 755 -p "$headerdir/DEBIAN" | ||
97 | mkdir -p "$headerdir/usr/share/doc/$headerpackagename" | ||
94 | if [ "$ARCH" = "um" ] ; then | 98 | if [ "$ARCH" = "um" ] ; then |
95 | mkdir -p "$tmpdir/usr/lib/uml/modules/$version" "$tmpdir/usr/bin" | 99 | mkdir -p "$tmpdir/usr/lib/uml/modules/$version" "$tmpdir/usr/bin" |
96 | fi | 100 | fi |
@@ -121,6 +125,9 @@ if grep -q '^CONFIG_MODULES=y' .config ; then | |||
121 | fi | 125 | fi |
122 | fi | 126 | fi |
123 | 127 | ||
128 | make headers_check | ||
129 | make headers_install INSTALL_HDR_PATH="$headerdir/usr" | ||
130 | |||
124 | # Install the maintainer scripts | 131 | # Install the maintainer scripts |
125 | # Note: hook scripts under /etc/kernel are also executed by official Debian | 132 | # Note: hook scripts under /etc/kernel are also executed by official Debian |
126 | # kernel packages, as well as kernel packages built using make-kpkg | 133 | # kernel packages, as well as kernel packages built using make-kpkg |
@@ -267,6 +274,18 @@ EOF | |||
267 | create_package "$fwpackagename" "$fwdir" | 274 | create_package "$fwpackagename" "$fwdir" |
268 | fi | 275 | fi |
269 | 276 | ||
277 | cat <<EOF >> debian/control | ||
278 | |||
279 | Package: $headerpackagename | ||
280 | Section: devel | ||
281 | Provides: linux-kernel-headers | ||
282 | Architecture: any | ||
283 | Description: Linux support headers for userspace development | ||
284 | This package provides userspaces headers from the Linux kernel. These headers | ||
285 | are used by the installed headers for GNU glibc and other system libraries. | ||
286 | EOF | ||
287 | |||
288 | create_package "$headerpackagename" "$headerdir" | ||
270 | create_package "$packagename" "$tmpdir" | 289 | create_package "$packagename" "$tmpdir" |
271 | 290 | ||
272 | exit 0 | 291 | exit 0 |