Date: Tue, 31 Jan 2012 11:59:40 +0100 From: Baptiste Daroussin <bapt@freebsd.org> To: Michel Talon <talon@lpthe.jussieu.fr> Cc: FreeBSD Questions <freebsd-questions@freebsd.org> Subject: Re: [Fwd: [HEADSUP][CFT] pkgng beta1 is out] Message-ID: <20120131105940.GA64098@azathoth.lan> In-Reply-To: <3009ECC2-E652-4CC2-AA84-C492115A3D3B@lpthe.jussieu.fr> References: <3009ECC2-E652-4CC2-AA84-C492115A3D3B@lpthe.jussieu.fr>
next in thread | previous in thread | raw e-mail | index | archive | help
[-- Attachment #1 --] On Tue, Jan 31, 2012 at 11:52:05AM +0100, Michel Talon wrote: > >having a real sat solver for the dependency tree. Currently we have a > >really simple and minimalistic solver which works well but if we can to go > >to an even finer package management we would need a real solver. > > Please may you expand on what you really mean here? I was under the impression > that the only problem was to provide a total order on ports compatible to the > partial order fixed by dependency, and this is very easy. There is for example one > routine to do that in portupgrade. Or do you have something more sophisticated in mind? > I mean something more sophisticated, the simple thing having things in the right order is hopefuly already done in pkgng :) I mean more something that is able to go further like resolving some conflicts by changing the ordering automatically, like offerting the ability to depends on provides e.g. depends on http_server instead of depending on apache/lighttpd/nginx/thehttpyouprefer or begin able to depends on feature. An even more. What we have now is really enough to be able to go into a full binary world (and it does really work nicely) but having a real complex sat solver, can help us go forward and imagine an even better package tool. regards, Bapt [-- Attachment #2 --] -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.18 (FreeBSD) iEYEARECAAYFAk8nyZwACgkQ8kTtMUmk6EzN5ACeMVK8Bi2njrT2SWl60ePkXwU8 f44AoJS1yVrsOWHqa+YShHcWURyYUdaK =dYut -----END PGP SIGNATURE-----
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20120131105940.GA64098>