Re: [PULL 3/3] configure: Allow to build tools without pixman

2020-08-14 Thread Philippe Mathieu-Daudé
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 >>> >>> If pixman is not installed, it is currently not possible to run: >>> >>> .../configure --disable-system --enable-tools >

Re: [PULL 3/3] configure: Allow to build tools without pixman

2020-08-13 Thread Thomas Huth
On 12/08/2020 18.26, Philippe Mathieu-Daudé wrote: > Hi, > > On 7/24/20 6:42 PM, Gerd Hoffmann wrote: >> From: Thomas Huth >> >> 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

Re: [PULL 3/3] configure: Allow to build tools without pixman

2020-08-12 Thread Philippe Mathieu-Daudé
Hi, On 7/24/20 6:42 PM, Gerd Hoffmann wrote: > From: Thomas Huth > > 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 sin

[PULL 3/3] configure: Allow to build tools without pixman

2020-07-24 Thread Gerd Hoffmann
From: Thomas Huth 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 in