With the latest version of Energia (as of this writing: Energia 13), there are instructions to install FTDI driver from Energia web site. (The original FTDI drivers from the FTDI website do not have the CC3200 device listed in its supported devices list. So the energia team included the CC3200 and created the new driver lib that is linked to be downloaded from energia web site)
Even after downloading I ran into a issue where the serial port list was greyed out after the CC3200 Launchpad was connected. (Mine was a Rev 4.1 board). I have followed instructions on energia site to set up all the right jumpers.
The reason is on OS X Yosemite, all driver libraries are expected to be signed. But with OS X yosemite, this version of the FTDI library doesn't get loaded because it was unsigned. I believe there is a signed library available at the following location:
Please try this out. If it doesn't work, please try the instructions provided by Tronix117 to get the kextloader to go in to developer mode.