Re: [PATCH 1/2] configure: Allow user to specify sphinx-build binary

[Paolo Bonzini]

On 04/02/20 11:39, Markus Armbruster wrote:
> Peter Maydell <address@hidden> writes:
> 
>> Currently we insist on using 'sphinx-build' from the $PATH;
>> allow the user to specify the binary to use. This will be
>> more useful as we become pickier about the capabilities
>> we require (eg needing a Python 3 sphinx-build).
>>
>> Signed-off-by: Peter Maydell <address@hidden>
>> ---
>> I went with the most common convention for specifying "here's
>> an executable", like --make=, --install=, --python=....
>>
>> The only odd one out for our current configure options seems to be
>> that we want --with-git=GIT, not --git=GIT. You could argue that
>> that's a better convention,
> 
> It's the one Autoconf uses.
> 
>>                             but it makes more sense to me to
>> stick with the convention we currently mostly have. (Perhaps
>> we should even change --with-git= to --git= ?)
> 
> Paolo, any implications on the Meson conversion?

Nope, there will still be a handwritten configure script (and in the
beginning it will be pretty much the same as now; in due time, it will
handle command line parsing only).

Paolo