diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2012-12-19 00:47:39 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2012-12-19 00:48:13 +0100 |
| commit | 45298f8fd28635763507417e6ac026a52d51c060 (patch) | |
| tree | da5a0af8d808e98661144aaf9a77018a0800bc7a /distro | |
| parent | 325285d5818cadd510a47910970234c7205b3bb7 (diff) | |
| download | patches-45298f8fd28635763507417e6ac026a52d51c060.tar patches-45298f8fd28635763507417e6ac026a52d51c060.tar.gz | |
distro: Linux-Libre: Set $ARCH based on the actual system type.
* distro/packages/linux.scm (linux-libre-headers): Set $ARCH based on
the `system' keyword argument.
Diffstat (limited to 'distro')
| -rw-r--r-- | distro/packages/linux.scm | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/distro/packages/linux.scm b/distro/packages/linux.scm index 0ec18300fc..bbb583455c 100644 --- a/distro/packages/linux.scm +++ b/distro/packages/linux.scm @@ -32,8 +32,13 @@ (define-public linux-libre-headers (let* ((version* "3.3.8") (build-phase - '(lambda* (#:key outputs #:allow-other-keys) - (setenv "ARCH" "x86_64") ; XXX + '(lambda* (#:key system #:allow-other-keys) + (let ((arch (car (string-split system #\-)))) + (setenv "ARCH" + (cond ((string=? arch "i686") "i386") + (else arch))) + (format #t "`ARCH' set to `~a'~%" (getenv "ARCH"))) + (and (zero? (system* "make" "defconfig")) (zero? (system* "make" "mrproper" "headers_check"))))) (install-phase |