| 1 |
On Wed, 12 Aug 2015 19:25:37 +0100 |
| 2 |
Ciaran McCreesh <ciaran.mccreesh@××××××××××.com> wrote: |
| 3 |
|
| 4 |
> On Wed, 12 Aug 2015 20:19:08 +0200 |
| 5 |
> Alexis Ballier <aballier@g.o> wrote: |
| 6 |
> > pkg_pretend still needs to be executed to guess what useflags are |
| 7 |
> > enabled or not, which information is needed before dependency |
| 8 |
> > calculation |
| 9 |
> |
| 10 |
> You'd probably be implementing this in a "SAT modulo theories" kind of |
| 11 |
> way: find a solution, do the pkg_pretend checks, and if it fails spit |
| 12 |
> a nogood back into the resolver. |
| 13 |
> |
| 14 |
> But this entire discussion is pointless, since Portage doesn't and |
| 15 |
> won't auto-resolve this stuff. |
| 16 |
|
| 17 |
considering its speed (at least for portage) and the complexity of the |
| 18 |
thing, running the dep solver N times, where N is probably unbounded |
| 19 |
doesn't seem benefical at all |
| 20 |
|
| 21 |
esp. since a modified REQUIRED_USE can achieve the same |
Archives