aboutsummaryrefslogtreecommitdiffstats
path: root/scripts
diff options
context:
space:
mode:
Diffstat (limited to 'scripts')
-rw-r--r--scripts/package/builddeb21
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
77tmpdir="$objtree/debian/tmp" 77tmpdir="$objtree/debian/tmp"
78fwdir="$objtree/debian/fwtmp" 78fwdir="$objtree/debian/fwtmp"
79hdrdir="$objtree/debian/hdrtmp" 79hdrdir="$objtree/debian/hdrtmp"
80headerdir="$objtree/debian/headertmp"
80packagename=linux-image-$version 81packagename=linux-image-$version
81fwpackagename=linux-firmware-image 82fwpackagename=linux-firmware-image
82hdrpackagename=linux-headers-$version 83hdrpackagename=linux-headers-$version
84headerpackagename=linux-libc-dev
83 85
84if [ "$ARCH" = "um" ] ; then 86if [ "$ARCH" = "um" ] ; then
85 packagename=user-mode-linux-$version 87 packagename=user-mode-linux-$version
86fi 88fi
87 89
88# Setup the directory structure 90# Setup the directory structure
89rm -rf "$tmpdir" "$fwdir" "$hdrdir" 91rm -rf "$tmpdir" "$fwdir" "$hdrdir" "$headerdir"
90mkdir -m 755 -p "$tmpdir/DEBIAN" 92mkdir -m 755 -p "$tmpdir/DEBIAN"
91mkdir -p "$tmpdir/lib" "$tmpdir/boot" "$tmpdir/usr/share/doc/$packagename" 93mkdir -p "$tmpdir/lib" "$tmpdir/boot" "$tmpdir/usr/share/doc/$packagename"
92mkdir -m 755 -p "$fwdir/DEBIAN" 94mkdir -m 755 -p "$fwdir/DEBIAN"
93mkdir -p "$fwdir/lib" "$fwdir/usr/share/doc/$fwpackagename" 95mkdir -p "$fwdir/lib" "$fwdir/usr/share/doc/$fwpackagename"
96mkdir -m 755 -p "$headerdir/DEBIAN"
97mkdir -p "$headerdir/usr/share/doc/$headerpackagename"
94if [ "$ARCH" = "um" ] ; then 98if [ "$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"
96fi 100fi
@@ -121,6 +125,9 @@ if grep -q '^CONFIG_MODULES=y' .config ; then
121 fi 125 fi
122fi 126fi
123 127
128make headers_check
129make 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"
268fi 275fi
269 276
277cat <<EOF >> debian/control
278
279Package: $headerpackagename
280Section: devel
281Provides: linux-kernel-headers
282Architecture: any
283Description: 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.
286EOF
287
288create_package "$headerpackagename" "$headerdir"
270create_package "$packagename" "$tmpdir" 289create_package "$packagename" "$tmpdir"
271 290
272exit 0 291exit 0