It works fine for me.
What kind of Arduino do you have? Does it work on other computers?
Where are you looking for the serial port? What do you see if you do a ls /dev/tty.* in the Terminal?
It works fine for me.
What kind of Arduino do you have? Does it work on other computers?
Where are you looking for the serial port? What do you see if you do a ls /dev/tty.* in the Terminal?