diff options
author | Andreas Grapentin <andreas@grapentin.org> | 2018-02-08 02:32:28 +0100 |
---|---|---|
committer | Andreas Grapentin <andreas@grapentin.org> | 2018-02-08 02:32:28 +0100 |
commit | 5741f4d6d17c1da2bfa83f184ef7afdbbe73ce7d (patch) | |
tree | dd5e358da568ff870703f4eb7ce289bb99cd785f /pcr/riscv64-linux-gnu-linux-libre-api-headers | |
parent | 445da8012c3bb40263d06e4a7311a2f8613727ff (diff) | |
download | abslibre-5741f4d6d17c1da2bfa83f184ef7afdbbe73ce7d.tar.gz abslibre-5741f4d6d17c1da2bfa83f184ef7afdbbe73ce7d.tar.bz2 abslibre-5741f4d6d17c1da2bfa83f184ef7afdbbe73ce7d.zip |
added pkgbuilds for riscv64-linux-gnu toolchain
Diffstat (limited to 'pcr/riscv64-linux-gnu-linux-libre-api-headers')
-rw-r--r-- | pcr/riscv64-linux-gnu-linux-libre-api-headers/PKGBUILD | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/pcr/riscv64-linux-gnu-linux-libre-api-headers/PKGBUILD b/pcr/riscv64-linux-gnu-linux-libre-api-headers/PKGBUILD new file mode 100644 index 000000000..df6068925 --- /dev/null +++ b/pcr/riscv64-linux-gnu-linux-libre-api-headers/PKGBUILD @@ -0,0 +1,42 @@ +# Maintainer: David P. <megver83@parabola.nu> +# Maintainer (Arch): Anatol Pomozov <anatol.pomozov@gmail.com> +# Contributor: Andreas Grapentin <andreas@grapentin.org> + +# parabola changes and rationale: +# - adapted from aarch64-linux-libre-gnu-binutils + +_target_arch=riscv +_target=riscv64-linux-gnu +pkgname=$_target-linux-libre-api-headers +_pkgver=4.15-gnu + +_archpkgver=${_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=${_archpkgver}") +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=('a55cc663c6fb1e1cfa7905282b368b5d5888bc2398f0acf37e5bb9a232ded04fd566b1980e654da26aaec005332e458581495184d6bd4cec669181085d4d78a5' + 'SKIP') +validpgpkeys=('474402C8C582DAFBE389C427BCB7CF877E7D47A7') # Alexandre Oliva + +build() { + cd linux-$_archpkgver + + make ARCH=$_target_arch mrproper + make ARCH=$_target_arch headers_check +} + +package() { + cd linux-$_archpkgver + + 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 +} |