diff options
author | Nicolás Reynolds <fauno@endefensadelsl.org> | 2014-02-18 01:56:34 +0000 |
---|---|---|
committer | Nicolás Reynolds <fauno@endefensadelsl.org> | 2014-02-18 01:56:34 +0000 |
commit | 8185891e28635bdb83fdf4ba4391030912dae596 (patch) | |
tree | 66a946535bdd228514750233b2cc99dd1866ff64 /libre/linux-libre-api-headers | |
parent | 60a11f87366fdfbd114cdc91ff813518858e5f8d (diff) |
Tue Feb 18 01:56:27 UTC 2014
Diffstat (limited to 'libre/linux-libre-api-headers')
-rw-r--r-- | libre/linux-libre-api-headers/PKGBUILD | 44 |
1 files changed, 44 insertions, 0 deletions
diff --git a/libre/linux-libre-api-headers/PKGBUILD b/libre/linux-libre-api-headers/PKGBUILD new file mode 100644 index 000000000..087a0cae8 --- /dev/null +++ b/libre/linux-libre-api-headers/PKGBUILD @@ -0,0 +1,44 @@ +# $Id: PKGBUILD 205569 2014-02-07 22:36:57Z allan $ +# Maintainer: Allan McRae <allan@archlinux.org> +# Maintainer (Parabola): André Silva <emulatorman@parabola.nu> + +# toolchain build order: linux-libre-api-headers->glibc->binutils->gcc->binutils->glibc + +pkgname=linux-libre-api-headers +_basekernel=3.13 +_sublevel=2 +pkgver=${_basekernel}.${_sublevel} +pkgrel=1 +pkgdesc="Kernel headers sanitized for use in userspace" +arch=('i686' 'x86_64' 'mips64el') +url="http://www.gnu.org/software/libc" +license=('GPL2') +provides=("linux-api-headers=${pkgver}") +conflicts=('linux-api-headers') +replaces=('linux-api-headers') +source=("http://linux-libre.fsfla.org/pub/linux-libre/releases/${_basekernel}-gnu/linux-libre-${_basekernel}-gnu.tar.xz" + "http://linux-libre.fsfla.org/pub/linux-libre/releases/${pkgver}-gnu/patch-${_basekernel}-gnu-${pkgver}-gnu.xz") +md5sums=('98a8e803e0ed08557f3cdd4d56b0ddc1' + '5594978ab8b62033274cf36305baf238') + +build() { + cd ${srcdir}/linux-${_basekernel} + + if [ "${_basekernel}" != "${pkgver}" ]; then + patch -p1 -i "${srcdir}/patch-${_basekernel}-gnu-${pkgver}-gnu" + fi + + make mrproper + make headers_check +} + +package() { + cd ${srcdir}/linux-${_basekernel} + make INSTALL_HDR_PATH=${pkgdir}/usr headers_install + + # use headers from libdrm + rm -r ${pkgdir}/usr/include/drm + + # clean-up unnecessary files generated during install + find ${pkgdir} \( -name .install -o -name ..install.cmd \) -delete +} |