Maybe it will help someone. You can use arduino's library https://github.com/miguelbalboa/rfid with Energia. All that you need is comment out all SPI.beginTransaction and SPI.endTransaction lines in MFRC522.cpp, and also define SS constant (SDA/chip select pin number, #define SS 8 in my case) in the same file.
After this library itself and library exambles are working at least on Tiva C launchpad.