Gentoo Archives: gentoo-dev

From: Ciaran McCreesh <ciaran.mccreesh@××××××××××.com>
To: gentoo-dev@l.g.o
Subject: Re: [gentoo-dev] Portage dependency solving algorithm
Date: Sat, 08 Nov 2014 13:40:29
Message-Id: 20141108134014.605d90a6@googlemail.com
In Reply to: Re: [gentoo-dev] Portage dependency solving algorithm by Jauhien Piatlicki
1 On Fri, 07 Nov 2014 20:57:41 +0100
2 Jauhien Piatlicki <jauhien@g.o> wrote:
3 > What;s wrong with input? PMS itself or how do maintainers write
4 > ebuilds? Could you explain?
5
6 A mixture of both. Gentoo developers like writing eclasses that write
7 unnecessarily clever, highly messy and technically incorrect dependency
8 strings (see how Perl and Ruby are done, for prime examples). Doing
9 this kind of thing well requires support from PMS, so developers can
10 express what they want to say directly rather than via some convoluted
11 mess of nested ||s, []s, slot abuse and faked range dependencies.
12 However, it's currently culturally more acceptable to try to make
13 yourself look clever by writing the new "world's most convoluted family
14 of eclasses", so developers aren't asking for the features they need.
15
16 In a way, this brings us back to SAT and CNF. Although you *can* encode
17 this kind of thing in SAT (or rather, in QSAT...), the encoding is
18 utterly opaque and doesn't lend itself to a good algorithm. The
19 dependencies some developers are writing are nearly as bad.
20
21 --
22 Ciaran McCreesh

Attachments

File name MIME type
signature.asc application/pgp-signature

Replies

Subject Author
Re: [gentoo-dev] Portage dependency solving algorithm Hilco Wijbenga <hilco.wijbenga@×××××.com>