Serial Port Greyed Out on Macintosh

I am trying to upload a sketch but am unable to, as there is no way to set the port, as the Serial Port option is greyed out in the Tools menu.

I am running OSX 10.9.5, my device (CC3200 LaunchPad) is being recognised on the USB bus (see details below).

           USB <-> JTAG/SWD:

              Product ID: 0xc32a

              Vendor ID: 0x0451  (Texas Instruments)

              Version:  5.00

              Serial Number: cc3200

              Speed: Up to 12 Mb/sec

              Manufacturer: FTDI

              Location ID: 0xfa130000 / 6

              Current Available (mA): 500

              Current Required (mA): 500

I have tried installing the VCP drivers from FTDI. I am using the latest version of Energia.

Any other suggestions?