Open Arduino or Energia IDE and go to Preferences. In "Additional Boards Manager URLs", add an entry for: 

https://raw.githubusercontent.com/jakeson21/Arduino-Tiva-Board-Energia-1.6.10/master/release/package_arduino-tiva-board-1.0.7_index.json

Then under "Tools" => "Board:" => "Board Manager" select "Arduino-Tiva Boards" by Jacob.