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
