gnu: gcc@4.7: Build with texinfo@5.

* gnu/packages/gcc.scm (gcc@4.7)[native-inputs]: Use texinfo@5 in place
of texinfo@6.
This commit is contained in:
Efraim Flashner 2016-11-08 16:24:29 +02:00
parent 5045d80ff1
commit 72246dc029
No known key found for this signature in database
GPG Key ID: F4C1D3917EACEE93
1 changed files with 5 additions and 8 deletions

View File

@ -155,7 +155,8 @@ where the OS part is overloaded to denote a specific ABI---into GCC
("zlib" ,zlib))) ("zlib" ,zlib)))
;; GCC < 5 is one of the few packages that doesn't ship .info files. ;; GCC < 5 is one of the few packages that doesn't ship .info files.
(native-inputs `(("texinfo" ,texinfo))) ;; Newer texinfos fail to build the manual, so we use an older one.
(native-inputs `(("texinfo" ,texinfo-5)))
(arguments (arguments
`(#:out-of-source? #t `(#:out-of-source? #t
@ -329,12 +330,7 @@ Go. It also includes runtime support libraries for these languages.")
(sha256 (sha256
(base32 (base32
"08yggr18v373a1ihj0rg2vd6psnic42b518xcgp3r9k81xz1xyr2")) "08yggr18v373a1ihj0rg2vd6psnic42b518xcgp3r9k81xz1xyr2"))
(patches (search-patches "gcc-arm-link-spec-fix.patch")))) (patches (search-patches "gcc-arm-link-spec-fix.patch"))))))
;; Texinfo 6.3 fails to build the manual:
;; ../../gcc-4.8.5/gcc/doc/gcc.texi:208: no matching `@end tex'
;; Use an older one.
(native-inputs `(("texinfo" ,texinfo-5)))))
(define-public gcc-4.9 (define-public gcc-4.9
(package (inherit gcc-4.7) (package (inherit gcc-4.7)
@ -347,7 +343,8 @@ Go. It also includes runtime support libraries for these languages.")
(base32 (base32
"14l06m7nvcvb0igkbip58x59w3nq6315k6jcz3wr9ch1rn9d44bc")) "14l06m7nvcvb0igkbip58x59w3nq6315k6jcz3wr9ch1rn9d44bc"))
(patches (search-patches "gcc-arm-bug-71399.patch" (patches (search-patches "gcc-arm-bug-71399.patch"
"gcc-libvtv-runpath.patch")))))) "gcc-libvtv-runpath.patch"))))
(native-inputs `(("texinfo" ,texinfo)))))
(define-public gcc-5 (define-public gcc-5
;; Note: GCC >= 5 ships with .info files but 'make install' fails to install ;; Note: GCC >= 5 ships with .info files but 'make install' fails to install