Re: [gentoo-dev] SAT-based dependency solver: request for test cases

2018-02-17 Thread Benda Xu
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

Re: [gentoo-dev] SAT-based dependency solver: request for test cases

2018-02-12 Thread Michael Lienhardt
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

Re: [gentoo-dev] SAT-based dependency solver: request for test cases

2018-02-12 Thread Michael Lienhardt
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

Re: [gentoo-dev] SAT-based dependency solver: request for test cases

2018-02-10 Thread Paweł Hajdan , Jr .
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

Re: [gentoo-dev] SAT-based dependency solver: request for test cases

2018-02-10 Thread Michał Górny
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

Re: [gentoo-dev] SAT-based dependency solver: request for test cases

2018-02-10 Thread Ulrich Mueller
> 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,

Re: [gentoo-dev] SAT-based dependency solver: request for test cases

2018-02-10 Thread Michał Górny
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 >

Re: [gentoo-dev] SAT-based dependency solver: request for test cases

2018-02-08 Thread Toralf Förster
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 >

Re: [gentoo-dev] SAT-based dependency solver: request for test cases

2018-02-06 Thread Michael Lienhardt
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

Re: [gentoo-dev] SAT-based dependency solver: request for test cases

2018-02-06 Thread Matthew Thode
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

Re: [gentoo-dev] SAT-based dependency solver: request for test cases

2018-02-06 Thread Roy Bamford
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

[gentoo-dev] SAT-based dependency solver: request for test cases

2018-02-06 Thread Michael Lienhardt
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: