Michael Lienhardt wrote:
> the criteria list you gave (maybe it's in the PMS)
I doubt that it is in PMS, and IMHO it also does not belong there:
As long as the result configuration is valid (no collisions
or unresolvable loops) all should be equally fine from the
viewpoint of PMS: It is in the re
Thanks a lot for this list!
You are totally right, simply translating the dependencies into SAT constraints
and feeding them to a solver returns in most cases a very bad, totally useless
solution.
However, nowadays many solvers support solution optimization, i.e., you can
specify an ordered li
Michał Górny wrote:
>>
>> d. In || ( ... ) clauses the left-most packages should be preserved.
s/preserved/preferred/
> you've missed the most important point: we want to prefer
> the newest version, whenever possible
> ;-).
Yes, you are right: I had thought only about packages, not about vers
W dniu wto, 13.02.2018 o godzinie 07∶49 +, użytkownik Martin Vaeth
napisał:
> Michael Lienhardt wrote:
> >
> > ad-hoc fixes and tweaks that can hardly be encoded into SAT constraints.
>
> The main difficulty which I see is that one does not want only _some_
> solution, but among all solution
Michael Lienhardt wrote:
>
> ad-hoc fixes and tweaks that can hardly be encoded into SAT constraints.
The main difficulty which I see is that one does not want only _some_
solution, but among all solutions one which optimizes certain quantities.
So it seems to me that a discrete optimization unde
Il 07/02/2018 05:11, Duncan ha scritto:
AFAIK, (plain) etc-portage semantics are the same for both files -- that
is, /etc/portage/package.keywords and the newer package.accept_keywords
are identical.
The reason for the new name and deprecation of the old one was that
package.keywords also exis
Michael Lienhardt posted on Tue, 06 Feb 2018 23:53:05 +0100 as excerpted:
> Il 06/02/2018 15:00, Roy Bamford ha scritto:
>> Posting here to alert other potential helpers.
>> Your script uses
>>
>> PACKAGE_KEYWORDS="/etc/portage/package.accept_keywords"
>>
>> but thats a recent name change.
>>
>
