I have a 2012 Macbook Air and I couldn't see a serial port either. My solution was to go here and download updated drivers:
http://www.ftdichip.com/Drivers/VCP.htm
After I installed the new drivers, I could see a serial port in the IDE and everything works as expected.