gnu: linux-libre: Move kernel configuration to configure phase.

* gnu/packages/linux.scm (linux-libre)[arguments]: Add configure phase.
This commit is contained in:
David Craven 2016-09-08 16:18:54 +02:00
parent 499fb7e0ba
commit 9416459b72
No known key found for this signature in database
GPG key ID: C5E051C79C0BECDB

View file

@ -290,9 +290,8 @@ (define-public linux-libre
(ice-9 match))
#:phases
(modify-phases %standard-phases
(delete 'configure)
(replace 'build
(lambda* (#:key inputs #:allow-other-keys #:rest args)
(replace 'configure
(lambda* (#:key inputs #:allow-other-keys)
;; Avoid introducing timestamps
(setenv "KCONFIG_NOTIMESTAMP" "1")
(setenv "KBUILD_BUILD_TIMESTAMP" (getenv "SOURCE_DATE_EPOCH"))
@ -333,11 +332,7 @@ (define-public linux-libre
port)
(close-port port))
(zero? (system* "make" "oldconfig"))
;; Call the default `build' phase so `-j' is correctly
;; passed.
(apply build #:make-flags "all" args))))
(zero? (system* "make" "oldconfig")))))
(replace 'install
(lambda* (#:key inputs outputs #:allow-other-keys)
(let* ((out (assoc-ref outputs "out"))