[Fwd: [HEADSUP][CFT] pkgng beta1 is out]
mexas at bristol.ac.uk
Tue Jan 31 11:38:39 UTC 2012
On Tue, Jan 31, 2012 at 06:06:33AM -0500, Mehmet Erol Sanliturk wrote:
> On Tue, Jan 31, 2012 at 5:59 AM, Baptiste Daroussin <bapt at freebsd.org>wrote:
> > 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
> sat solver :
wow.. that's hardcore computer science.
You mean something like this:
but BSD licensed?
Room 2.6, Queen's Building
Mech Eng Dept
University Walk, Bristol BS8 1TR, UK
Tel: +44 (0)117 331 5944
Fax: +44 (0)117 929 4423
More information about the freebsd-questions