On Wed, 12 Aug 2015 21:22:48 +0200
Alexis Ballier <aball...@gentoo.org> wrote:
> On Wed, 12 Aug 2015 19:25:37 +0100
> Ciaran McCreesh <ciaran.mccre...@googlemail.com> wrote:
> > On Wed, 12 Aug 2015 20:19:08 +0200
> > Alexis Ballier <aball...@gentoo.org> wrote:
> > > pkg_pretend still needs to be executed to guess what useflags are
> > > enabled or not, which information is needed before dependency
> > > calculation
> > 
> > You'd probably be implementing this in a "SAT modulo theories" kind
> > of way: find a solution, do the pkg_pretend checks, and if it fails
> > spit a nogood back into the resolver.
> > 
> > But this entire discussion is pointless, since Portage doesn't and
> > won't auto-resolve this stuff.
> 
> considering its speed (at least for portage) and the complexity of the
> thing, running the dep solver N times, where N is probably unbounded
> doesn't seem benefical at all
> 
> esp. since a modified REQUIRED_USE can achieve the same

But you'd be running it N times to fix a REQUIRED_USE problem anyway.

-- 
Ciaran McCreesh

Attachment: signature.asc
Description: PGP signature

Reply via email to