gnu: Use make-linux-libre-headers.
authorCarl Dong <accounts@carldong.me>
Wed, 29 May 2019 16:04:43 +0000 (18:04 +0200)
committerDanny Milosavljevic <dannym@scratchpost.org>
Wed, 29 May 2019 16:19:16 +0000 (18:19 +0200)
commita15cee50cebddc665a16b455f44e22dcfb87d57f
treed68ec0eefb01ec7e07b95b195018b0390bbc4f1e
parent2ea77d48a739eb289f2472d2c30c37a30bbcb571
gnu: Use make-linux-libre-headers.

* gnu/packages/linux.scm (make-linux-libre-headers): New variable.
(linux-libre): Rename to...
(linux-libre-5.1): ...this.
(linux-libre-headers): Rename to...
(linux-libre-headers-4.14.67): ...this.
(linux-libre-5.1, linux-libre-headers-4.14.67): Use make-linux-libre-headers.
(linux-libre-5.1, linux-libre-headers-5.1, linux-libre-headers-4.19,
%linux-libre-4.15-version, %linux-libre-4.15-hash, linux-libre-4.15,
linux-libre-headers-4.15, linux-libre-headers-4.14): New variables.

Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
gnu/packages/linux.scm