Re: [PATCH v4 02/12] kconfig: Add picosat.c (1/3)

[Luis Chamberlain]

On Fri, Aug 16, 2024 at 12:20:01PM +0200, Ole Schuerks wrote:
> What's the best way of letting the user know that they need to 
> install PicoSAT if they want to use the conflict resolver?
> My idea would 
> be to notify the user via the GUI when they try to use the interface of 
> the conflict resolver without having PicoSAT installed. Do you see any 
> issues with that/do you prefer some alternative approach?

Conflicts don't happen often and we already have a printf which happens when
one does, my recommendation would be that we simply opt-in for the
resolver if the user has the requirements installed. Otherwise we only
inform the user to install it if a conflict comes up. Documentation can
also be enhanced to describe this functionality / support.

  Luis