Re: [coreboot] How to build coreboot with alternate toolchain?

2016-05-13 Thread Paul Menzel
Dear David, Am Freitag, den 13.05.2016, 13:26 -0700 schrieb David Hendricks: > Do you have multiple versions of GCC installed? Yes, I do have several versions installed. The packages `gcc-4.9`, `gcc-5`, and `gcc-6`. > You might need to use "update-alternatives" to manage them. I haven't >

Re: [coreboot] How to build coreboot with alternate toolchain?

2016-05-13 Thread David Hendricks via coreboot
Hi Paul, Do you have multiple versions of GCC installed? You might need to use "update-alternatives" to manage them. I haven't done so with Debian, but this page seems to have a pretty good explanation: http://lektiondestages.blogspot.com/2013/05/installing-and-switching-gccg-versions.html --

Re: [coreboot] How to build coreboot with alternate toolchain?

2016-05-12 Thread Paul Menzel
Dear Jonathan, Am Donnerstag, den 12.05.2016, 22:48 +0200 schrieb Jonathan Neuschäfer: > On Thu, May 12, 2016 at 10:03:14PM +0200, Paul Menzel wrote: > > GCC 6 is in Debian Sid/unstable [1] in parallel to the default GCC 5.3. > > The binary is `/usr/bin/gcc-6`. I’d like to quickly test this

Re: [coreboot] How to build coreboot with alternate toolchain?

2016-05-12 Thread Jonathan Neuschäfer
On Thu, May 12, 2016 at 10:03:14PM +0200, Paul Menzel wrote: > Dear coreboot folks, > > > GCC 6 is in Debian Sid/unstable [1] in parallel to the default GCC 5.3. > The binary is `/usr/bin/gcc-6`. I’d like to quickly test this with > coreboot to see if everything still builds and runs fine. > >

[coreboot] How to build coreboot with alternate toolchain?

2016-05-12 Thread Paul Menzel
Dear coreboot folks, GCC 6 is in Debian Sid/unstable [1] in parallel to the default GCC 5.3. The binary is `/usr/bin/gcc-6`. I’d like to quickly test this with coreboot to see if everything still builds and runs fine. Running `make HOSTCC=gcc-6 CC=gcc-6` partially works. GCC 6 is used for the