From owner-freebsd-questions@FreeBSD.ORG Tue Jan 31 10:52:49 2012 Return-Path: Delivered-To: freebsd-questions@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34]) by hub.freebsd.org (Postfix) with ESMTP id BF2A0106568B; Tue, 31 Jan 2012 10:52:49 +0000 (UTC) (envelope-from talon@lpthe.jussieu.fr) Received: from shiva.jussieu.fr (shiva.jussieu.fr [134.157.0.129]) by mx1.freebsd.org (Postfix) with ESMTP id 744DC8FC1D; Tue, 31 Jan 2012 10:52:49 +0000 (UTC) Received: from parthe.lpthe.jussieu.fr (parthe.lpthe.jussieu.fr [134.157.10.1]) by shiva.jussieu.fr (8.14.4/jtpda-5.4) with ESMTP id q0VAq5sJ044383 ; Tue, 31 Jan 2012 11:52:35 +0100 (CET) X-Ids: 165 Received: from [192.168.1.10] (niobe.lpthe.jussieu.fr [134.157.10.41]) (using TLSv1 with cipher AES128-SHA (128/128 bits)) (Client did not present a certificate) by parthe.lpthe.jussieu.fr (Postfix) with ESMTPSA id 25B512046C; Tue, 31 Jan 2012 11:52:04 +0100 (CET) From: Michel Talon Date: Tue, 31 Jan 2012 11:52:05 +0100 Message-Id: <3009ECC2-E652-4CC2-AA84-C492115A3D3B@lpthe.jussieu.fr> To: FreeBSD Questions Mime-Version: 1.0 (Apple Message framework v1251.1) X-Mailer: Apple Mail (2.1251.1) X-Miltered: at jchkmail.jussieu.fr with ID 4F27C7D7.000 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Enveloppe: 4F27C7D7.000/134.157.10.1/parthe.lpthe.jussieu.fr/parthe.lpthe.jussieu.fr/ Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable X-Content-Filtered-By: Mailman/MimeDel 2.1.5 Cc: Baptiste Daroussin Subject: [Fwd: [HEADSUP][CFT] pkgng beta1 is out] X-BeenThere: freebsd-questions@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: User questions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 31 Jan 2012 10:52:49 -0000 >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