diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2014-04-13 23:21:58 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2014-04-14 00:09:42 +0200 |
| commit | 4eb202a3d80bf3129a9b4b8b12f051f8ce184c9e (patch) | |
| tree | 997084ec27522ccaf96df7b2b5b4167e313feb77 /gnu | |
| parent | a6ac9ca6a506a867a061e39db5c51accc4eb21d3 (diff) | |
| download | patches-4eb202a3d80bf3129a9b4b8b12f051f8ce184c9e.tar patches-4eb202a3d80bf3129a9b4b8b12f051f8ce184c9e.tar.gz | |
gnu: gcc-final: Add Texinfo as an input.
* gnu/packages/base.scm (gcc-final)[native-inputs]: New field.
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/base.scm | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gnu/packages/base.scm b/gnu/packages/base.scm index e6a2242cf0..b986662c3b 100644 --- a/gnu/packages/base.scm +++ b/gnu/packages/base.scm @@ -1002,6 +1002,10 @@ exec ~a/bin/~a-~a -B~a/lib -Wl,-dynamic-linker -Wl,~a/~a \"$@\"~%" ((#:phases phases) `(alist-delete 'symlink-libgcc_eh ,phases))))) + ;; This time we want Texinfo, so we get the manual. + (native-inputs `(("texinfo" ,texinfo-boot0) + ,@(package-native-inputs gcc-boot0))) + (inputs `(("gmp-source" ,(package-source gmp)) ("mpfr-source" ,(package-source mpfr)) ("mpc-source" ,(package-source mpc)) |