AVI is a Microsoft format that Mac OS X doesn’t read, so how do you make it work:
Watching AVI Movies in Mac OS X – Mac Guides
VLC Player is a cross platform application with a mac version available for download from the VLC website. [I’ve found that mplayer is there, but seems to hang and [...]