Revert "gnu: Default to GCC 5."

This reverts commit e3d0fcbf7e.
This is a temporary measure until GCC 5 builds on ARM, see:

  https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71399
This commit is contained in:
Ludovic Courtès 2016-06-07 10:52:04 +02:00
parent aa81eb73ce
commit 9dee9e8ffe
No known key found for this signature in database
GPG key ID: 090B11993D9AEBB5
4 changed files with 9 additions and 58 deletions

View file

@ -352,8 +352,7 @@ Go. It also includes runtime support libraries for these languages.")
(sha256
(base32
"1ny4smkp5bzs3cp8ss7pl6lk8yss0d9m4av1mvdp72r1x695akxq"))
(patches (search-patches "gcc-5.0-libvtv-runpath.patch"
"gcc-libiberty-printf-decl.patch"))))
(patches (search-patches "gcc-5.0-libvtv-runpath.patch"))))
;; GCC 5 ships with .info files, so no need for Texinfo.
(native-inputs '())))
@ -372,7 +371,7 @@ Go. It also includes runtime support libraries for these languages.")
;; Note: When changing the default gcc version, update
;; the gcc-toolchain-* definitions accordingly.
(define-public gcc gcc-5)
(define-public gcc gcc-4.9)
(define-public (make-libstdc++ gcc)
"Return a libstdc++ package based on GCC. The primary use case is when