kbuild: Create a kernel-headers RPM

To compile binaries which depend on new kernel interfaces, we need a kernel-headers RPM Signed-off-by: Arun Sharma <asharma@fb.com> Signed-off-by: Michal Marek <mmarek@suse.cz>

kbuild: Create a kernel-headers RPM
To compile binaries which depend on new kernel interfaces, we need a kernel-headers RPM Signed-off-by: Arun Sharma <asharma@fb.com> Signed-off-by: Michal Marek <mmarek@suse.cz>
Arun Sharma · Michal Marek
1 parent 857c7e4387
Showing 1 changed file with 17 additions and 0 deletions Side-by-side Diff
scripts/package/mkspec
@@ -47,6 +47,18 @@
 echo "%description"
 echo "The Linux Kernel, the operating system core itself"
 echo ""
+echo "%package headers"
+echo "Summary: Header files for the Linux kernel for use by glibc"
+echo "Group: Development/System"
+echo "Obsoletes: kernel-headers"
+echo "Provides: kernel-headers = %{version}"
+echo "%description headers"
+echo "Kernel-headers includes the C header files that specify the interface"
+echo "between the Linux kernel and userspace libraries and programs.  The"
+echo "header files define structures and constants that are needed for"
+echo "building most standard programs and are also needed for rebuilding the"
+echo "glibc package."
+echo ""
  
 if ! $PREBUILT; then
 echo "%prep"
@@ -83,6 +95,7 @@
 echo "%endif"
 echo "%endif"
  
+echo 'make %{?_smp_mflags} INSTALL_HDR_PATH=$RPM_BUILD_ROOT/usr headers_install'
 echo 'cp System.map $RPM_BUILD_ROOT'"/boot/System.map-$KERNELRELEASE"
  
 echo 'cp .config $RPM_BUILD_ROOT'"/boot/config-$KERNELRELEASE"
@@ -104,5 +117,9 @@
 echo "/lib/modules/$KERNELRELEASE"
 echo "/lib/firmware"
 echo "/boot/*"
+echo ""
+echo "%files headers"
+echo '%defattr (-, root, root)'
+echo "/usr/include"
 echo ""
...	...	@@ -47,6 +47,18 @@
47	47	echo "%description"
48	48	echo "The Linux Kernel, the operating system core itself"
49	49	echo ""
	50	+echo "%package headers"
	51	+echo "Summary: Header files for the Linux kernel for use by glibc"
	52	+echo "Group: Development/System"
	53	+echo "Obsoletes: kernel-headers"
	54	+echo "Provides: kernel-headers = %{version}"
	55	+echo "%description headers"
	56	+echo "Kernel-headers includes the C header files that specify the interface"
	57	+echo "between the Linux kernel and userspace libraries and programs. The"
	58	+echo "header files define structures and constants that are needed for"
	59	+echo "building most standard programs and are also needed for rebuilding the"
	60	+echo "glibc package."
	61	+echo ""
50	62
51	63	if ! $PREBUILT; then
52	64	echo "%prep"
...	...	@@ -83,6 +95,7 @@
83	95	echo "%endif"
84	96	echo "%endif"
85	97
	98	+echo 'make %{?_smp_mflags} INSTALL_HDR_PATH=$RPM_BUILD_ROOT/usr headers_install'
86	99	echo 'cp System.map $RPM_BUILD_ROOT'"/boot/System.map-$KERNELRELEASE"
87	100
88	101	echo 'cp .config $RPM_BUILD_ROOT'"/boot/config-$KERNELRELEASE"
...	...	@@ -104,5 +117,9 @@
104	117	echo "/lib/modules/$KERNELRELEASE"
105	118	echo "/lib/firmware"
106	119	echo "/boot/*"
	120	+echo ""
	121	+echo "%files headers"
	122	+echo '%defattr (-, root, root)'
	123	+echo "/usr/include"
107	124	echo ""