Hi Philip,
What version of the launchpad are you using?
There are two versions of the Launchpad.
1. LM4F Launchpad
2. Tiva Launchpad
Because, of the re-brand to Tiva, TM4C123 replaced LM4F. As far as I know, both chips are the same. The microcontroller name is the only difference. However, there are differences with regards to project options preprocessor defines at the example program like "blinky", that would likely cause error during compiling. So, it is necessary to download the correct Tivaware for your Launchpad.
-kel