[FFmpeg-devel] [PATCH] Configure check for bugged make

Ramiro Polla ramiro
Thu Oct 23 00:18:00 CEST 2008


Stefano Sabatini wrote:
> On date Wednesday 2008-08-20 10:45:35 +0200, Dominik 'Rathann' Mierzejewski encoded:
>> On Wednesday, 20 August 2008 at 09:46, Chris Cormie wrote:
>> [...]
>>> I've also got a patch for configure that catches the 3.79.1 bug and 
>>> warns the developer (below.) Could this be considered for testing and 
>>> merging in?
[...]
> I'm reviving this patch.
> 
> I considered the possibility of checking the version of make, but to
> check for the version of a program parsing the --version output is a
> braindead solution, furthermore we have to check here for the bugged
> behaviour rather than for the version.
> 
> I just removed the stray hunk and applied some other cosmetics.

[...]

> @@ -619,6 +619,13 @@
>      check_lib $header $func "$@" || die "ERROR: $name not found"
>  }
>  
> +check_make(){
> +    log check_make "$@"
> +    cat >$TMPM
> +    log_file $TMPM
> +    check_cmd make -f $TMPM
> +}
> +

Why "make"? What if the user wants to use make-3.81.exe, or gmake?

>  require2(){
>      name="$1"
>      headers="$2"
> @@ -1139,6 +1146,7 @@
>  TMPC="${TMPDIR1}/ffmpeg-conf-${RANDOM}-$$-${RANDOM}.c"
>  TMPE="${TMPDIR1}/ffmpeg-conf-${RANDOM}-$$-${RANDOM}${EXESUF}"
>  TMPH="${TMPDIR1}/ffmpeg-conf-${RANDOM}-$$-${RANDOM}.h"
> +TMPM="${TMPDIR1}/ffmpeg-conf-${RANDOM}-$$-${RANDOM}.mak"
>  TMPO="${TMPDIR1}/ffmpeg-conf-${RANDOM}-$$-${RANDOM}.o"
>  TMPS="${TMPDIR1}/ffmpeg-conf-${RANDOM}-$$-${RANDOM}.S"
>  TMPSH="${TMPDIR1}/ffmpeg-conf-${RANDOM}-$$-${RANDOM}.sh"
> @@ -1716,6 +1724,23 @@
>  EOF
>  done
>  
> +check_make <<'EOF' || \
> +die "ERROR: broken make utility. If using MinGW try a later version of
> +make. make-3.81-MSYS-1.0.11-2 is known to work."

Is this bug only present on msys make? Is it not also on Linux or some 
other system?

The version known to work is on the documentation, so there's no need to 
put it here again.

Checking on configure isn't a good idea because we don't know what make 
the user will call. Maybe a better place to test would be in some 
makefile...

I agree that we should check for buggy makes though...

Ramiro Polla




More information about the ffmpeg-devel mailing list