Thank you for the update. I'm glad everything worked fine as expected!
To install the libraries on Energia, please follow this step-by-step Managing Energia Libraries procedure.
It is actually the same as for the Installing Additional Arduino Libraries procedure.
For the device drivers, I've adapted the existing
DetectDevice.h files. The Energia WiFi library shares the same functions with the Arduino WiFi library.
I've added the relevant
#if defined(ENERGIA) ...
#endif to add support for the CC3200 LaunchPad and for the other LaunchPads with the CC3100 BoosterPack.
Please let me know whether I have the green light to perform a pull-request.
I'm PM-ing you my PayPal e-mail! Thank you again.