create an AVI file

I have got set of images with whom I'll play animation like in powerpoint. Now i need to export开发者_开发问答 that animation to avi, mpeg, mov format using either flex or php. Please tell me if there any solution that will work out for me. Thanks

check out ffmpeg. I think it can do what you're looking for (among its many various features).