On 12/08/2020 18.26, Philippe Mathieu-Daudé wrote:
> Hi,
>
> On 7/24/20 6:42 PM, Gerd Hoffmann wrote:
>> From: Thomas Huth <th...@redhat.com>
>>
>> If pixman is not installed, it is currently not possible to run:
>>
>> .../configure --disable-system --enable-tools
>>
>> Seems like there was a dependency from one of the required source
>> files to pixman in the past, but since commit 1ac0206b2ae1ffaeec56
>> ("qemu-timer.c: Trim list of included headers"), this dependency
>> should be gone. Thus allow to compile the tools without pixman now.
>>
>> Signed-off-by: Thomas Huth <th...@redhat.com>
>> Message-id: 20200723141123.14765-1-th...@redhat.com
>> Signed-off-by: Gerd Hoffmann <kra...@redhat.com>
>> ---
>> configure | 2 +-
>> 1 file changed, 1 insertion(+), 1 deletion(-)
>>
>> diff --git a/configure b/configure
>> index 4bd80ed507aa..2acc4d1465f8 100755
>> --- a/configure
>> +++ b/configure
>> @@ -4065,7 +4065,7 @@ fi
>> ##########################################
>> # pixman support probe
>>
>> -if test "$want_tools" = "no" && test "$softmmu" = "no"; then
>> +if test "$softmmu" = "no"; then
>> pixman_cflags=
>> pixman_libs=
>> elif $pkg_config --atleast-version=0.21.8 pixman-1 > /dev/null 2>&1; then
>>
>
> This commit broke my '--disable-system --disable-user --enable-tools' build:
>
> $ make vhost-user-gpu
Yes, there is already a patch on the list to fix this. Look for:
"configure: Require pixman for vhost-user-gpu". I hope Gerd can pick it
up for his next pull request.
Thomas
