diff options
Diffstat (limited to 'distro/packages/linux.scm')
| -rw-r--r-- | distro/packages/linux.scm | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/distro/packages/linux.scm b/distro/packages/linux.scm index 62bdefb1da..a40cc27c3e 100644 --- a/distro/packages/linux.scm +++ b/distro/packages/linux.scm @@ -33,8 +33,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 @@ -193,4 +198,4 @@ providing the system administrator with some help in common tasks.") "Tools for working with USB devices, such as lsusb") (description "Tools for working with USB devices, such as lsusb.") - (license gpl2+)))
\ No newline at end of file + (license gpl2+))) |