diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2012-09-01 19:21:06 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2012-09-02 19:01:28 +0200 |
| commit | 0a3da5b7f048359afb3dc4b3317a9789c02bd301 (patch) | |
| tree | 344cf70bf7be3ae1d5b5f6de44acb8e5b48f7a5c | |
| parent | a5071b990dd0a98069d1a92cde83dcc1eaf4f89a (diff) | |
distro: glibc: Propagate Linux headers.
* distro/base.scm (glibc): Move LINUX-HEADERS from `native-inputs' to
`propagated-inputs'. Remove unnecessary `_' in /bin/pwd substitution.
| -rw-r--r-- | distro/base.scm | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/distro/base.scm b/distro/base.scm index fc4308b0d9..eec05b6ee8 100644 --- a/distro/base.scm +++ b/distro/base.scm @@ -1118,7 +1118,11 @@ call interface, and powerful string processing.") (base32 "092rdm49zh6l1pqkxbcpcaawgsgzxhpf1s7wf5wi5dvc5am3dp0y")))) (build-system gnu-build-system) - (native-inputs `(("linux-headers" ,linux-headers))) + + ;; Glibc's <limits.h> refers to <linux/limit.h>, for instance, so glibc + ;; users should automatically pull Linux headers as well. + (propagated-inputs `(("linux-headers" ,linux-headers))) + (arguments `(#:out-of-source? #t #:configure-flags @@ -1141,7 +1145,7 @@ call interface, and powerful string processing.") (let ((out (assoc-ref outputs "out"))) ;; Use `pwd', not `/bin/pwd'. (substitute* "configure" - (("/bin/pwd" _) "pwd")) + (("/bin/pwd") "pwd")) ;; Install the rpc data base file under `$out/etc/rpc'. ;; FIXME: Use installFlags = [ "sysconfdir=$(out)/etc" ]; |