This repository has been archived on 2022-01-17. You can view files and clone it, but cannot push or open issues/pull-requests.
2019-08-03 12:06:11 +02:00
|
|
|
name: linux
|
2019-08-22 19:17:57 +02:00
|
|
|
version: 5.2.9
|
2019-08-23 14:10:58 +02:00
|
|
|
sources:
|
|
|
|
|
- https://cdn.kernel.org/pub/linux/kernel/v5.x/linux-%{version}.tar.xz
|
|
|
|
|
- config
|
2019-08-22 19:17:57 +02:00
|
|
|
|
2019-08-03 12:06:11 +02:00
|
|
|
@build
|
2019-08-22 19:17:57 +02:00
|
|
|
cd 'linux-%{version}'
|
|
|
|
|
|
2019-08-23 14:10:58 +02:00
|
|
|
cp ../config .config
|
|
|
|
|
make olddefconfig
|
2019-08-22 19:17:57 +02:00
|
|
|
make
|
2019-08-03 12:06:11 +02:00
|
|
|
|
|
|
|
|
@install
|
2019-08-22 19:17:57 +02:00
|
|
|
cd 'linux-%{version}'
|
|
|
|
|
mkdir -p '%{pkg}/usr' '%{pkg}/boot' '%{pkg}/usr/src'
|
|
|
|
|
|
|
|
|
|
cp arch/x86/boot/bzImage '%{pkg}/boot/bzImage-%{version}'
|
|
|
|
|
make headers_install ARCH=x86_64 INSTALL_HDR_PATH='%{pkg}/usr'
|
|
|
|
|
|
|
|
|
|
# Installing sources for linux-src.
|
|
|
|
|
make distclean
|
|
|
|
|
cd ..
|
|
|
|
|
# FIXME: Maybe a new extraction would be better?
|
|
|
|
|
mv 'linux-%{version}' '%{pkg}/usr/src'
|
|
|
|
|
|
|
|
|
|
%split linux-src
|
|
|
|
|
files:
|
|
|
|
|
- /usr/src
|
2019-08-03 12:06:11 +02:00
|
|
|
|
