blob: 0016cef87785885fa0b9b19388d252de511c5134 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
kind: manual
sources:
- kind: git
url: upstream:linux
track: v4.11
ref: a351e9b9fc24e982ec2f0e76379a49826036da12
depends:
- filename: gnu-toolchain/stage1.bst
type: build
variables:
prefix: /tools
kernel-arch: unsupported
(?):
- arch in ["armv5", "armv7b", "armv7l", "armv7lhf"]:
kernel-arch: arm
- arch in ["armv8b64", "armv8l64"]:
kernel-arch: arm64
- arch in ["ppc64b", "ppc64l"]:
kernel-arch: powerpc
- arch == "x86_32":
kernel-arch: i386
- arch == "x86_64":
kernel-arch: x86_64
environment:
PATH: /tools/bin:/usr/bin:/bin:/usr/sbin:/sbin
config:
install-commands:
- |
if [ '%{kernel-arch}' == 'unsupported' ]; then
echo "Error: unsupported architecture: %{arch}" >&2
exit 1
fi
ARCH=%{kernel-arch} make INSTALL_HDR_PATH=dest headers_install
- install -d "%{install-root}%{includedir}"
- cp -r dest/include/* "%{install-root}%{includedir}"
|