Using GCC with Tiva TM4C123G LaunchPad in CCSv6
From EdWiki
Introduction
Code Composer Studio v6 includes a Linaro distribution of the ARM GNU compiler, so programmers have the option of using this GCC Compiler instead of the TI compiler to build their projects. This page describes how to select and use the GCC compiler to build projects for TivaC devices.