Hi Michael,
I haven't fully understood SAT yet and I haven't completely follow the
discussion. But I think this is a logical direction to improve
dependency solving in Gentoo. Keep on the good work, I am interested in
knowing how well it performs.
Yours,
Benda
Dear Michał,
I understand your concerns, and for some time I shared them too.
Portage is a very complex piece of software that evolved for almost 20 years to
perform a very difficult task quite quickly with good results, so it is bound
to contain many ad-hoc fixes and tweaks that can hardly be
Sorry for the late reply.
This is a very interesting offer :)
However, I don't have the capacity to manage such quantity of data yet.
Up until now, I performed my tests in a VM on my laptop without anything else
running...
Few days ago, my department lent me a dedicated laptop to perform the tes
On 10/02/2018 09:20, Michał Górny wrote:
> To be honest, I don't think this is the right approach to the problem.
Feel free to suggest a better one.
> Truth is, dependencies in Gentoo are seriously broken, and most of
> the developers aren't even aware of that because of layers upon layers
> of h
W dniu sob, 10.02.2018 o godzinie 11∶20 +0100, użytkownik Ulrich Mueller
napisał:
> > > > > > On Sat, 10 Feb 2018, Michał Górny wrote:
> > Example: many packages have impossible circular dependencies.
> > However, Portage conditionally pretends they don't exist, preferring
> > some random install-t
> On Sat, 10 Feb 2018, Michał Górny wrote:
> Example: many packages have impossible circular dependencies.
> However, Portage conditionally pretends they don't exist, preferring
> some random install-time breakage over fixing the packages in
> question.
Isn't that what the PMS allows, though?
W dniu wto, 06.02.2018 o godzinie 11∶52 +0100, użytkownik Michael
Lienhardt napisał:
> Dear all,
>
> With the help of some friends and colleagues, I am working on an SAT-based
> dependency solver for portage.
> We need your help to test it and possibly improve in the long run the already
> great
On 02/06/2018 11:52 AM, Michael Lienhardt wrote:
>
> To help, you can send us the tar generated by this bash script:
> https://raw.githubusercontent.com/HyVar/gentoo_to_mspl/master/benchmarks/get_installation.sh
>
> This bash script extracts your world file, the USE flags and keywords
> configurati
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.
PACKAGE_KEYWORDS="/etc/portage/package.keywords"
is the old name and my older systems still us
On 18-02-06 11:52:10, Michael Lienhardt wrote:
> Dear all,
>
> With the help of some friends and colleagues, I am working on an SAT-based
> dependency solver for portage.
> We need your help to test it and possibly improve in the long run the already
> great portage toolset.
>
> To help, you ca
On 2018.02.06 10:52, Michael Lienhardt wrote:
> Dear all,
>
> With the help of some friends and colleagues, I am working on an
> SAT-based dependency solver for portage.
> We need your help to test it and possibly improve in the long run the
> already great portage toolset.
>
> To help, you can s
Dear all,
With the help of some friends and colleagues, I am working on an SAT-based
dependency solver for portage.
We need your help to test it and possibly improve in the long run the already
great portage toolset.
To help, you can send us the tar generated by this bash script:
https://raw.
12 matches
Mail list logo
