Skip site navigation (1)Skip section navigation (2)
Date:      Tue, 31 Jan 2012 11:52:05 +0100
From:      Michel Talon <talon@lpthe.jussieu.fr>
To:        FreeBSD Questions <freebsd-questions@freebsd.org>
Cc:        Baptiste Daroussin <bapt@freebsd.org>
Subject:   [Fwd: [HEADSUP][CFT] pkgng beta1 is out]
Message-ID:  <3009ECC2-E652-4CC2-AA84-C492115A3D3B@lpthe.jussieu.fr>

next in thread | raw e-mail | index | archive | help

>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?



--

Michel Talon
talon@lpthe.jussieu.fr








Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?3009ECC2-E652-4CC2-AA84-C492115A3D3B>