aboutsummaryrefslogtreecommitdiff
path: root/distro/packages/linux.scm
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2012-11-27 22:04:57 +0100
committerLudovic Courtès <ludo@gnu.org>2012-11-27 22:04:57 +0100
commit80fe5c6046c7d54c1a4ab8ca791ec2a3a1d392db (patch)
treec90b4a18cb0e557ad00ddb6ef5a04501c66baaed /distro/packages/linux.scm
parentfd76c904c7b613372edb071a89a19fe117ded2e9 (diff)
downloadpatches-80fe5c6046c7d54c1a4ab8ca791ec2a3a1d392db.tar
patches-80fe5c6046c7d54c1a4ab8ca791ec2a3a1d392db.tar.gz
distro: linux-libre-headers: Move to (distro packages linux).
* distro/packages/base.scm (linux-libre-headers): Move to... * distro/packages/linux.scm (linux-libre-headers): ... here.
Diffstat (limited to 'distro/packages/linux.scm')
-rw-r--r--distro/packages/linux.scm48
1 files changed, 48 insertions, 0 deletions
diff --git a/distro/packages/linux.scm b/distro/packages/linux.scm
index 8d337ba4c9..54a0606a11 100644
--- a/distro/packages/linux.scm
+++ b/distro/packages/linux.scm
@@ -20,8 +20,56 @@
#:use-module (guix packages)
#:use-module (guix download)
#:use-module (distro packages flex)
+ #:use-module (distro packages perl)
#:use-module (guix build-system gnu))
+(define-public linux-libre-headers
+ (let* ((version* "3.3.8")
+ (build-phase
+ '(lambda* (#:key outputs #:allow-other-keys)
+ (setenv "ARCH" "x86_64") ; XXX
+ (and (zero? (system* "make" "defconfig"))
+ (zero? (system* "make" "mrproper" "headers_check")))))
+ (install-phase
+ `(lambda* (#:key outputs #:allow-other-keys)
+ (let ((out (assoc-ref outputs "out")))
+ (and (zero? (system* "make"
+ (string-append "INSTALL_HDR_PATH=" out)
+ "headers_install"))
+ (mkdir (string-append out "/include/config"))
+ (call-with-output-file
+ (string-append out
+ "/include/config/kernel.release")
+ (lambda (p)
+ (format p "~a-default~%" ,version*))))))))
+ (package
+ (name "linux-libre-headers")
+ (version version*)
+ (source (origin
+ (method url-fetch)
+ (uri (string-append
+ "http://linux-libre.fsfla.org/pub/linux-libre/releases/3.3.8-gnu/linux-libre-"
+ version "-gnu.tar.xz"))
+ (sha256
+ (base32
+ "0jkfh0z1s6izvdnc3njm39dhzp1cg8i06jv06izwqz9w9qsprvnl"))))
+ (build-system gnu-build-system)
+ (native-inputs `(("perl" ,perl)))
+ (arguments
+ `(#:modules ((guix build gnu-build-system)
+ (guix build utils)
+ (srfi srfi-1))
+ #:phases (alist-replace
+ 'build ,build-phase
+ (alist-replace
+ 'install ,install-phase
+ (alist-delete 'configure %standard-phases)))
+ #:tests? #f))
+ (synopsis "GNU Linux-Libre kernel headers")
+ (description "Headers of the Linux-Libre kernel.")
+ (license "GPLv2")
+ (home-page "http://www.gnu.org/software/linux-libre/"))))
+
(define-public linux-pam
(package
(name "linux-pam")