Ho appena scoperto che RedHat fornisce questo "set di strumenti per sviluppatori" che consente di installare (e ovviamente utilizzare) il gcc-4.7.2 più aggiornato. Lo uso su Centos, ma il processo è lo stesso.Abilitazione "Collezioni software". Set di strumenti per sviluppatori RedHat
Una volta installato, è possibile avviare una nuova sessione di bash con questo set di strumenti abilitati mediante l'emissione di:
scl enable devtoolset-1.1 bash
che funziona bene. Ora, potrei in qualche modo aggiungerlo alla mia bashrc dato che in realtà inizia una nuova sessione di bash? O dovrei posizionarlo meglio nei miei makefile per evitare di iniziare una nuova sessione di bash. Ci sarebbe un modo per rilasciarlo all'interno di un makefile?