diff options
Diffstat (limited to 'libre')
| -rw-r--r-- | libre/arm-linux-gnueabi-linux-api-headers/PKGBUILD | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/libre/arm-linux-gnueabi-linux-api-headers/PKGBUILD b/libre/arm-linux-gnueabi-linux-api-headers/PKGBUILD new file mode 100644 index 000000000..892f1f505 --- /dev/null +++ b/libre/arm-linux-gnueabi-linux-api-headers/PKGBUILD @@ -0,0 +1,37 @@ +# Maintainer (Arch): Anatol Pomozov <anatol.pomozov@gmail.com> + +_target_arch=arm +_target=arm-linux-gnueabi +pkgname=$_target-linux-libre-api-headers +_pkgver=4.19-gnu + +_srcver=${_pkgver%-*} +pkgver=${_pkgver//-/_} +pkgrel=1 +pkgdesc="Kernel headers sanitized for use in userspace ($_target)" +arch=(any) +url='https://linux-libre.fsfla.org' +license=(GPL2) +provides=("$_target-linux-api-headers=${_srcver}") +conflicts=("$_target-linux-api-headers") +replaces=("$_target-linux-api-headers") +source=("https://linux-libre.fsfla.org/pub/linux-libre/releases/${_pkgver}/linux-libre-${_pkgver}.tar.xz"{,.sign}) +sha512sums=('5bc800b3beff43a8c15bd5515f4e0babe2beb5fa600491b7b37110e22d9b739d293f1e38753ed681be289c51390e0e64b3e60ce0db0a3bfe1f94ee5c014579a3' + 'SKIP') +validpgpkeys=('474402C8C582DAFBE389C427BCB7CF877E7D47A7') # Alexandre Oliva + +build() { + cd linux-$_srcver + + make ARCH=$_target_arch mrproper + make ARCH=$_target_arch headers_check +} + +package() { + cd linux-$_srcver + + make INSTALL_HDR_PATH="$pkgdir/usr/$_target/" ARCH=$_target_arch V=0 headers_install + + # clean-up unnecessary files generated during install + find "$pkgdir" \( -name .install -or -name ..install.cmd \) -delete +} |