# HG changeset patch
# User David Demelier <markand@malikania.fr>
# Date 1552144029 -3600
# Node ID 6a71c4511911e8b27f93c17b6f058ea78ec5ae54
# Parent  e2be59e38d44433945c8cfe3f6458ecb6b64f359
core/linux-headers: initial import, closes #1178

diff -r e2be59e38d44 -r 6a71c4511911 core/linux-headers/linux-headers.info
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/core/linux-headers/linux-headers.info	Sat Mar 09 16:07:09 2019 +0100
@@ -0,0 +1,23 @@
+#!/bin/sh
+#
+# Copyright (c) 2019 David Demelier <markand@malikania.fr>
+#
+# Permission to use, copy, modify, and/or distribute this software for any
+# purpose with or without fee is hereby granted, provided that the above
+# copyright notice and this permission notice appear in all copies.
+#
+# THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
+# WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
+# MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
+# ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
+# WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
+# ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
+# OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
+#
+
+PKGNAME=linux-headers
+PKGVERSION=5.0
+PKGREVISION=1
+PKGLICENSE="GPLv2"
+PKGSUMMARY="kernel headers for userspace"
+PKGDOWNLOAD="https://redmine.malikania.fr/attachments/download/234/$PKGNAME-$PKGVERSION.tar.xz"
diff -r e2be59e38d44 -r 6a71c4511911 core/linux-headers/linux-headers.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/core/linux-headers/linux-headers.sh	Sat Mar 09 16:07:09 2019 +0100
@@ -0,0 +1,23 @@
+#!/bin/sh
+#
+# Copyright (c) 2019 David Demelier <markand@malikania.fr>
+#
+# Permission to use, copy, modify, and/or distribute this software for any
+# purpose with or without fee is hereby granted, provided that the above
+# copyright notice and this permission notice appear in all copies.
+#
+# THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
+# WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
+# MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
+# ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
+# WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
+# ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
+# OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
+#
+
+source ./linux-headers.info
+
+set -ex
+
+mkdir -p $DESTDIR
+tar xvaf $PKGNAME-$PKGVERSION.tar.xz -C $DESTDIR