gnu: Add gcc-vc4.

Fixes <https://bugs.gnu.org/26541>.

* gnu/packages/bootstrap.scm (glibc-dynamic-linker): Add vc4-elf.
* gnu/packages/embedded.scm (gcc-vc4): New variable.
This commit is contained in:
Danny Milosavljevic 2017-04-18 19:42:19 +02:00
parent b3542d77fe
commit 7cf06d62bf
No known key found for this signature in database
GPG Key ID: E71A35542C30BAA5
2 changed files with 25 additions and 0 deletions

View File

@ -179,6 +179,7 @@ successful, or false to signal an error."
((string=? system "avr") "no-ld.so") ((string=? system "avr") "no-ld.so")
((string=? system "propeller-elf") "no-ld.so") ((string=? system "propeller-elf") "no-ld.so")
((string=? system "i686-mingw") "no-ld.so") ((string=? system "i686-mingw") "no-ld.so")
((string=? system "vc4-elf") "no-ld.so")
(else (error "dynamic linker name not known for this system" (else (error "dynamic linker name not known for this system"
system)))) system))))

View File

@ -773,3 +773,27 @@ simulator.")
the Raspberry Pi chip.") the Raspberry Pi chip.")
(license license:gpl3+) (license license:gpl3+)
(home-page "https://github.com/puppeh/vc4-toolchain/")))) (home-page "https://github.com/puppeh/vc4-toolchain/"))))
(define-public gcc-vc4
(let ((commit "165f6d0e11d2e76ee799533bb45bd5c92bf60dc2")
(xgcc (cross-gcc "vc4-elf" binutils-vc4)))
(package (inherit xgcc)
(name "gcc-vc4")
(source (origin
(method git-fetch)
(uri (git-reference
(url "https://github.com/puppeh/gcc-vc4.git")
(commit commit)))
(file-name (string-append name
"-"
(package-version xgcc)
"-checkout"))
(sha256
(base32
"13h30qjcwnlz6lfma1d82nnvfmjnhh7abkagip4vly6vm5fpnvf2"))))
(native-inputs
`(("flex" ,flex)
,@(package-native-inputs xgcc)))
(synopsis "GCC for VC4")
(description "This package provides @code{gcc} for VideoCore IV,
the Raspberry Pi chip."))))