It took me a while to figure out how I wanted to do this, but I now have a functional template that works with TI's restrictive licensing on their example files.

https://github.com/szczys/tiva-c-launchpad-template

This open source template is a starting place for those interested in bare-metal programming Tiva chips using open source tools. It uses the libraries from the TivaWare package, as well as the example linker script and start code. Since neither of those files can be included in an open source repo, the Makefile creates symbolic links before compiling the package.