On 8/13/20 9:07 PM, Thomas Huth wrote: > 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.
Thanks! I'll test it. Too bad it misses the release :( > > Thomas >