[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH 05/17] gnu: linux-libre: Move kernel configuration to configure p
From: |
David Craven |
Subject: |
[PATCH 05/17] gnu: linux-libre: Move kernel configuration to configure phase. |
Date: |
Fri, 9 Sep 2016 14:34:14 +0200 |
* gnu/packages/linux.scm (linux-libre)[arguments]: Add configure phase.
---
gnu/packages/linux.scm | 11 +++--------
1 file changed, 3 insertions(+), 8 deletions(-)
diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm
index 369a232..436f3d3 100644
--- a/gnu/packages/linux.scm
+++ b/gnu/packages/linux.scm
@@ -290,9 +290,8 @@ for SYSTEM and optionally VARIANT, or #f if there is no
such configuration."
(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 @@ for SYSTEM and optionally VARIANT, or #f if there is no
such configuration."
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"))
--
2.9.0
- Linux kernel, David Craven, 2016/09/08
- Re: Linux kernel, Leo Famulari, 2016/09/08
- [PATCH 02/17] gnu: linux-libre: Use modify-phases., David Craven, 2016/09/09
- [PATCH 03/17] gnu: linux-libre: Use system->architecture., David Craven, 2016/09/09
- [PATCH 06/17] gnu: linux-libre: Add support for cross-compilation., David Craven, 2016/09/09
- Re: [PATCH 06/17] gnu: linux-libre: Add support for cross-compilation., Ludovic Courtès, 2016/09/11
- [PATCH 07/17] gnu: linux-libre: Use make-linux-libre., David Craven, 2016/09/09
- Re: [PATCH 07/17] gnu: linux-libre: Use make-linux-libre., Ludovic Courtès, 2016/09/11
- [PATCH 08/17] gnu: make-linux-libre: Add additional-configuration parameter., David Craven, 2016/09/09
- Re: [PATCH 08/17] gnu: make-linux-libre: Add additional-configuration parameter., Ludovic Courtès, 2016/09/11
- [PATCH 09/17] gnu: dtc: Remove patch-paths phase., David Craven, 2016/09/09