echo "  --with-midi=midi               define which midi-player to use"

	echo "  --with-midi-arg=arg            define which args to use for the"

	echo "                                 midi-player"

	echo "  --with-allegrol[=allegro-config]"

	echo "                                 enables Allegro video driver support"

	echo "  --with-cocoa                   enables COCOA video driver (OSX ONLY)"