Re: [PATCH v4 02/12] kconfig: Add picosat.c (1/3)
From: Luis Chamberlain
Date: Mon Aug 19 2024 - 18:04:59 EST
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