[jpeg, ...] -> mpeg

[Ken Seehof]

Tim Lavoie wrote:
> In article <mailman.988671748.20429.python-list at python.org>, Ken Seehof
wrote:
> >This is a multi-part message in MIME format.
> >
> >------=_NextPart_000_0011_01C0D18E.5913B980
> >Content-Type: text/plain;
> > charset="iso-8859-1"
> >Content-Transfer-Encoding: quoted-printable
> >
> >
> >Is there any tool out there accessible in python that
> >will take a sequence of images and convert them into
> >a movie file such as mpeg?  I couldn't find anything in
> >parnassus.
> >
> >Thanks,
> >
> >- Ken
>
> Well, you might want to just cheat a little and build a command-line
> to call from python, or else build a module to do the brute-force
> stuff. This is the sort of number-crunching which would be painfully
> slow in straight Python. I've used a C program called mpeg_encode to
> do this sort of thing, and even then it chugs for a bit. Python would
> do a nice job of building the param file and calling mpeg_encode though.
>
>   Cheers,
>   Tim Lavoie
> --

I was hoping for an extension module rather than straight python.  Is the
source code for mpeg_encode available?  If so, it could be wrapped
into a python extension.  Perhaps the results would be eventually merged
into PIL.

Where can I find mpeg_encode?

- Ken