Need encoding from images to video on Android

We need an Android app that can encode a folder of images to a video. I have been looking for solutions a while now, but cannot find anything good. The Android API does not support it. We are trying ffmpeg, but cannot get it to work. We need a working solution, using ffmpeg is not mandatory. A full Android Java solution is also a possibility, since this would work on all Android devices, possibly at the cost of some performance.

The app also needs to be able to add an audio track to the movie if the user chooses to do this.

Any help would be appreciated.

Kind regards,

Aäron

From the FFmpeg FAQ entry "How do I encode single pictures into movies?":

First, rename your pictures to follow a numerical sequence. For example, img1.jpg, img2.jpg, img3.jpg,... Then you may run:

ffmpeg -f image2 -i img%d.jpg /tmp/a.mpg

Adding an audio track should just involve add another input (e.g., -i audio.mp3), but could also require explicit -maping with older versions.