Building on Ubuntu -- what GCC sources to use?

[Roderick Gibson]

On Friday, 31 May 2013 at 11:46:11 UTC, Joseph Rushton Wakeling 
wrote:
> On 05/31/2013 01:17 PM, Johannes Pfau wrote:
>> If you still want the debian patches for other reasons there's 
>> a
>> gcc-4.8-source package in debian testing and apt-get source 
>> gcc-4.8
>> might work as well. But it seems those packages are not yet in 
>> ubuntu?
>
> No, though I think there's a PPA.  I'll test with the regular 
> GCC sources and
> report back.

I've built GDC with 4.8 on Mint 14 with no issues whatsoever.