[gentoo-dev] Portage dependency solving algorithm (WAS: Regarding my final year thesis)

2014-11-07 Thread Jauhien Piatlicki
Hi, On 11/06/2014 02:43 PM, Ciaran McCreesh wrote: If you're going to go the toolkit route, you should be using a CP solver, not a SAT solver. But even then you'd be better off making some changes and not using plain old MAC, so you're back to writing the algorithms yourself. What you

Re: [gentoo-dev] Regarding my final year thesis

2014-11-07 Thread Luca Barbato
On 07/11/14 06:06, Harsh Bhatt wrote: This idea seems bit interesting, about how the bug tracker works. In this i just need to confirm that how much mathematical aspect can be included. It's a good idea to work on. Also make might enjoy improvements. lu

Re: [gentoo-dev] RFC: future.eclass

2014-11-07 Thread Rich Freeman
On Thu, Nov 6, 2014 at 5:09 PM, Andreas K. Huettel dilfri...@gentoo.org wrote: Am Donnerstag, 6. November 2014, 22:56:21 schrieb Rich Freeman: I think we are well-served by taking Ciaran's advice here. Utility eclasses should just passively export functions. Anything that does overrides

Re: [gentoo-dev] RFC: future.eclass

2014-11-07 Thread Rich Freeman
On Thu, Nov 6, 2014 at 5:03 PM, Zac Medico zmed...@gentoo.org wrote: On 11/06/2014 01:53 PM, Rich Freeman wrote: On Thu, Nov 6, 2014 at 3:11 PM, Michał Górny mgo...@gentoo.org wrote: # This eclass contains backports of functions that were accepted # by the Council for the EAPI following the

Re: [gentoo-dev] [RFC] =udev-217 or =eudev-2.1 upgrade news item

2014-11-07 Thread Samuli Suominen
On 29/10/14 13:42, Alex Xu wrote: On 29/10/14 07:28 AM, Samuli Suominen wrote: request for review before committing, suggestions welcome since it's rather short what i got to say thanks, Samuli typical news items are in the format packages no longer/now do thing. [thing is description

Re: [gentoo-dev] [RFC] =udev-217 or =eudev-2.1 upgrade news item

2014-11-07 Thread Alex Xu
On 07/11/14 07:13 AM, Samuli Suominen wrote: On 29/10/14 13:42, Alex Xu wrote: On 29/10/14 07:28 AM, Samuli Suominen wrote: request for review before committing, suggestions welcome since it's rather short what i got to say thanks, Samuli typical news items are in the format packages

Re: [gentoo-dev] [RFC] =udev-217 or =eudev-2.1 upgrade news item

2014-11-07 Thread Samuli Suominen
On 07/11/14 14:21, Alex Xu wrote: On 07/11/14 07:13 AM, Samuli Suominen wrote: On 29/10/14 13:42, Alex Xu wrote: On 29/10/14 07:28 AM, Samuli Suominen wrote: request for review before committing, suggestions welcome since it's rather short what i got to say thanks, Samuli typical news

Re: [gentoo-dev] Portage dependency solving algorithm (WAS: Regarding my final year thesis)

2014-11-07 Thread Zac Medico
On 11/07/2014 01:42 AM, Jauhien Piatlicki wrote: Hi, On 11/06/2014 02:43 PM, Ciaran McCreesh wrote: If you're going to go the toolkit route, you should be using a CP solver, not a SAT solver. But even then you'd be better off making some changes and not using plain old MAC, so you're back

Re: [gentoo-dev] RFC: future.eclass

2014-11-07 Thread Zac Medico
On 11/07/2014 03:13 AM, Rich Freeman wrote: On Thu, Nov 6, 2014 at 5:03 PM, Zac Medico zmed...@gentoo.org wrote: On 11/06/2014 01:53 PM, Rich Freeman wrote: On Thu, Nov 6, 2014 at 3:11 PM, Michał Górny mgo...@gentoo.org wrote: # This eclass contains backports of functions that were accepted

Re: [gentoo-dev] Portage dependency solving algorithm (WAS: Regarding my final year thesis)

2014-11-07 Thread Ciaran McCreesh
On Fri, 07 Nov 2014 10:42:39 +0100 Jauhien Piatlicki jauh...@gentoo.org wrote: Also may be we need to discuss how can we improve it, as at the moment for me it seems one of the biggest problems with Gentoo. And afaik paludis does not solve it (or am I wrong?) Paludis solves it. However,

Re: [gentoo-dev] RFC: future.eclass

2014-11-07 Thread Rich Freeman
On Fri, Nov 7, 2014 at 1:01 PM, Zac Medico zmed...@gentoo.org wrote: I'm still concerned that in general we tend to have packages hang around at older EAPIs for a long time as it is. That isn't really a problem if those EAPIs are stable and supported for a while. This seems likely to

Re: [gentoo-dev] Portage dependency solving algorithm (WAS: Regarding my final year thesis)

2014-11-07 Thread Jauhien Piatlicki
On 11/07/2014 07:07 PM, Ciaran McCreesh wrote: On Fri, 07 Nov 2014 10:42:39 +0100 Jauhien Piatlicki jauh...@gentoo.org wrote: Also may be we need to discuss how can we improve it, as at the moment for me it seems one of the biggest problems with Gentoo. And afaik paludis does not solve it (or

Re: [gentoo-dev] Portage dependency solving algorithm (WAS: Regarding my final year thesis)

2014-11-07 Thread Ciaran McCreesh
On Fri, 07 Nov 2014 19:11:04 +0100 Jauhien Piatlicki jauh...@gentoo.org wrote: Then the same question for you: where can one read about the algorithm Paludis uses? It's basically a two stage process: simple constraint solving using value ordering heuristics to enforce don't do unnecessary work,

Re: [gentoo-dev] RFC: future.eclass

2014-11-07 Thread Ulrich Mueller
On Fri, 7 Nov 2014, Rich Freeman wrote: I am still a bit uneasy, but I definitely agree that if we do this I'd much rather see a series of versioned eclasses than an eclass whose functionality changes in place over time. Ulm's point still exists that technically EAPI6 isn't actually

Re: [gentoo-dev] Portage dependency solving algorithm

2014-11-07 Thread Matthias Maier
Am 07. Nov 2014, 19:30 schrieb Ciaran McCreesh ciaran.mccre...@googlemail.com: On Fri, 07 Nov 2014 19:11:04 +0100 Jauhien Piatlicki jauh...@gentoo.org wrote: Then the same question for you: where can one read about the algorithm Paludis uses? It's basically a two stage process: simple

[gentoo-dev] RFC: new QA_NEEDED variable for files installed by pre-built binary packages with broken soname dependencies

2014-11-07 Thread Zac Medico
Hi, In bug 528086 [1] we have a pre-built games package with a soname dependency on libSDL_mixer-1.2.so.0. The maintainer reports that the game works fine without this library, so he doesn't want to add a dependency on sdl-mixer. In order to satisfy this unneeded soname dependency, preserve-libs

Re: [gentoo-dev] Portage dependency solving algorithm

2014-11-07 Thread hasufell
On 11/07/2014 07:54 PM, Matthias Maier wrote: Well, you're not comparing like with like. Paludis with everything turned off does more than Portage with everything turned on. If all you're looking for is the wrong answer as fast as possible, there are easier ways of getting it... The last

Re: [gentoo-dev] RFC: new QA_NEEDED variable for files installed by pre-built binary packages with broken soname dependencies

2014-11-07 Thread Diego Elio Pettenò
On 7 November 2014 13:04, Zac Medico zmed...@gentoo.org wrote: In bug 528086 [1] we have a pre-built games package with a soname dependency on libSDL_mixer-1.2.so.0. The maintainer reports that the game works fine without this library, so he doesn't want to add a dependency on sdl-mixer.

Re: [gentoo-dev] Portage dependency solving algorithm

2014-11-07 Thread Ciaran McCreesh
On Fri, 07 Nov 2014 19:54:08 +0100 Matthias Maier tam...@gentoo.org wrote: Currently, for portage just to decide that nothing has to be done on my machine takes around 1 minute. Are you running with or without metadata cache? If you're running without, it's going to be slow independently of the

Re: [gentoo-dev] RFC: new QA_NEEDED variable for files installed by pre-built binary packages with broken soname dependencies

2014-11-07 Thread Zac Medico
On 11/07/2014 11:18 AM, Diego Elio Pettenò wrote: On 7 November 2014 13:04, Zac Medico zmed...@gentoo.org wrote: In bug 528086 [1] we have a pre-built games package with a soname dependency on libSDL_mixer-1.2.so.0. The maintainer reports that the game works fine without this library, so he

Re: [gentoo-dev] Portage dependency solving algorithm

2014-11-07 Thread Jauhien Piatlicki
On 11/07/2014 08:08 PM, hasufell wrote: On 11/07/2014 07:54 PM, Matthias Maier wrote: Well, you're not comparing like with like. Paludis with everything turned off does more than Portage with everything turned on. If all you're looking for is the wrong answer as fast as possible, there are

Re: [gentoo-dev] Portage dependency solving algorithm

2014-11-07 Thread Jauhien Piatlicki
On 11/07/2014 08:21 PM, Ciaran McCreesh wrote: The main issue, though, is that getting a good resolution out of crappy data is extremely difficult. There's the Babbage quote: | On two occasions I have been asked, — Pray, Mr. Babbage, if you put | into the machine wrong figures, will the

Re: [gentoo-dev] Portage dependency solving algorithm

2014-11-07 Thread Matthias Maier
Am 07. Nov 2014, 20:21 schrieb Ciaran McCreesh ciaran.mccre...@googlemail.com: On Fri, 07 Nov 2014 19:54:08 +0100 Matthias Maier tam...@gentoo.org wrote: Currently, for portage just to decide that nothing has to be done on my machine takes around 1 minute. Are you running with or without

Re: [gentoo-dev] Portage dependency solving algorithm

2014-11-07 Thread hasufell
On 11/07/2014 08:56 PM, Jauhien Piatlicki wrote: I think you didn't get the idea: it doesn't make much sense to compare the speed if the correctness differs. Also, I don't understand these discussions. The time dependency resolving takes is marginal compared to the whole update process, no

Re: [gentoo-dev] Portage dependency solving algorithm

2014-11-07 Thread Jauhien Piatlicki
07.11.14 21:44, hasufell написав(ла): On 11/07/2014 08:56 PM, Jauhien Piatlicki wrote: Every time people compare portage to paludis I read stuff like but paludis is slower. That is incomplete information to put it diplomatic. Do you really care so much about speed that you don't mind wrong

Re: [gentoo-dev] Portage dependency solving algorithm

2014-11-07 Thread hasufell
On 11/07/2014 09:55 PM, Jauhien Piatlicki wrote: 07.11.14 21:44, hasufell написав(ла): On 11/07/2014 08:56 PM, Jauhien Piatlicki wrote: Every time people compare portage to paludis I read stuff like but paludis is slower. That is incomplete information to put it diplomatic. Do you really

Re: [gentoo-dev] Portage dependency solving algorithm

2014-11-07 Thread Zac Medico
On 11/07/2014 01:04 PM, hasufell wrote: Next thing that comes to my mind is: indeterministic results. I'v had LOTS of them with portage. You run an emerge, abort. You run it again... and woosh, different result. This is a result of the solution space being quite large, combined with hash

Re: [gentoo-dev] RFC: new QA_NEEDED variable for files installed by pre-built binary packages with broken soname dependencies

2014-11-07 Thread Diego Elio Pettenò
On 7 November 2014 13:50, Zac Medico zmed...@gentoo.org wrote: Yeah, I figured that we'd get a reaction like this. I just thought I'd start by proposing some sort of compromise, and then let others fight it out. :) Since we got to a positive conclusion on the bug, let's not consider this

Re: [gentoo-dev] RFC: new QA_NEEDED variable for files installed by pre-built binary packages with broken soname dependencies

2014-11-07 Thread Zac Medico
On 11/07/2014 03:25 PM, Diego Elio Pettenò wrote: On 7 November 2014 13:50, Zac Medico zmed...@gentoo.org wrote: Yeah, I figured that we'd get a reaction like this. I just thought I'd start by proposing some sort of compromise, and then let others fight it out. :) Since we got to a positive

Re: [gentoo-dev] RFC: new QA_NEEDED variable for files installed by pre-built binary packages with broken soname dependencies

2014-11-07 Thread Kent Fredric
On 8 November 2014 13:59, Zac Medico zmed...@gentoo.org wrote: Okay, sure. I'll save it for the day when someone finds a valid reason to install binaries with broken soname deps (not likely). Another candidate for a possible valid reason: https://bugs.gentoo.org/show_bug.cgi?id=460468

Re: [gentoo-dev] RFC: new QA_NEEDED variable for files installed by pre-built binary packages with broken soname dependencies

2014-11-07 Thread Diego Elio Pettenò
On 8 Nov 2014 01:35, Kent Fredric kentfred...@gmail.com wrote: On 8 November 2014 13:59, Zac Medico zmed...@gentoo.org wrote: Okay, sure. I'll save it for the day when someone finds a valid reason to install binaries with broken soname deps (not likely). Another candidate for a possible

[gentoo-dev] Last rites: razorqt-base/*

2014-11-07 Thread Ben de Groot
# Ben de Groot yng...@gentoo.org (7 Nov 2014) # Unmaintained, no longer supported, and starting to throw compilation # errors (bug #513906, bug #528372). Masked for removal in 30 days. # Update to lxqt-base/* packages. razorqt-base/libqtxdg razorqt-base/razorqt-appswitcher

[gentoo-portage-dev] [PATCH] Log changes between vdb_metadata.pickle updates

2014-11-07 Thread Zac Medico
This adds add support to generate a vdb_metadata_delta.json file which tracks package merges / unmerges that occur between updates to vdb_metadata.pickle. IndexedVardb can use the delta together with vdb_metadata.pickle to reconstruct a complete view of /var/db/pkg, so that it can avoid expensive

Re: [gentoo-portage-dev] [PATCH] Log changes between vdb_metadata.pickle updates

2014-11-07 Thread Brian Dolbec
On Fri, 7 Nov 2014 00:45:55 -0800 Zac Medico zmed...@gentoo.org wrote: This adds add support to generate a vdb_metadata_delta.json file which tracks package merges / unmerges that occur between updates to vdb_metadata.pickle. IndexedVardb can use the delta together with vdb_metadata.pickle

Re: [gentoo-portage-dev] [PATCH] Log changes between vdb_metadata.pickle updates

2014-11-07 Thread Zac Medico
On 11/07/2014 08:51 AM, Brian Dolbec wrote: On Fri, 7 Nov 2014 00:45:55 -0800 Zac Medico zmed...@gentoo.org wrote: This adds add support to generate a vdb_metadata_delta.json file which tracks package merges / unmerges that occur between updates to vdb_metadata.pickle. IndexedVardb can use