[FFmpeg-devel] [PATCH] rename time.h to avtime.h

Reimar Döffinger Reimar.Doeffinger at gmx.de
Sun Oct 7 14:40:09 CEST 2012

Nicolas George <nicolas.george at normalesup.org> wrote:

>Le sextidi 16 vendémiaire, an CCXXI, Michael Niedermayer a écrit :
>> do you have another / better suggestion on how to fix this ?
>I am not convinced there is anything to fix on ffmpeg's part at all,
>and if
>there is, it may be completely elsewhere. As far as I understand the
>situation, the problem is twofold:
>1. The reporter is using Android's build system instead of ffmpeg's;
>2. Android's build system adds bogus -I options.
>Fixing any of these issues would fix the problem. Ideally, both issues
>should be fixed.
>The first issue is the reporter's responsibility. It has been claimed
>ffmpeg's build system does not work for Android, but only by second- or
>third-hand hearsay. Actually, about last year I was able to build the
>libraries with configure and make, although with an awful lot of
>--extra-cflags and --extra-ldflags. Documenting that a little better
>may be
>a good start, but that requires understanding the intricacies of ARM
>The second issue should be reported to the Android project developers.
>I am
>not opposed to adding workarounds for foreign bugs, but before that, I
>like to see genuine efforts to fix the bug in the correct place, as it
>require less maintenance for ffmpeg and fix things for other projects
>When the Android developers have stated that, against all evidence,
>they are
>doing The Right Thing and What Users Expect and closed the bug as
>that is another story.
>On the technical side, leaving "time.h" there with just "#include
>in it may fix the API stability issue.

I think we can in principle rename it in git and just install it under both names to avoid an API issue for most.

More information about the ffmpeg-devel mailing list