From owner-freebsd-questions@FreeBSD.ORG Tue Jan 31 10:59:45 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 068D01065670 for ; Tue, 31 Jan 2012 10:59:45 +0000 (UTC) (envelope-from bapt@freebsd.org) Received: from freefall.freebsd.org (freefall.freebsd.org [IPv6:2001:4f8:fff6::28]) by mx1.freebsd.org (Postfix) with ESMTP id C7B6F8FC08; Tue, 31 Jan 2012 10:59:44 +0000 (UTC) Received: from freefall.freebsd.org (localhost [127.0.0.1]) by freefall.freebsd.org (8.14.5/8.14.5) with ESMTP id q0VAxi2g065878; Tue, 31 Jan 2012 10:59:44 GMT (envelope-from bapt@freebsd.org) Received: (from bapt@localhost) by freefall.freebsd.org (8.14.5/8.14.5/Submit) id q0VAxit3065877; Tue, 31 Jan 2012 10:59:44 GMT (envelope-from bapt@freebsd.org) X-Authentication-Warning: freefall.freebsd.org: bapt set sender to bapt@freebsd.org using -f Date: Tue, 31 Jan 2012 11:59:40 +0100 From: Baptiste Daroussin To: Michel Talon Message-ID: <20120131105940.GA64098@azathoth.lan> References: <3009ECC2-E652-4CC2-AA84-C492115A3D3B@lpthe.jussieu.fr> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="ReaqsoxgOBHFXBhH" Content-Disposition: inline In-Reply-To: <3009ECC2-E652-4CC2-AA84-C492115A3D3B@lpthe.jussieu.fr> User-Agent: Mutt/1.5.21 (2010-09-15) Cc: FreeBSD Questions Subject: Re: [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:59:45 -0000 --ReaqsoxgOBHFXBhH Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable 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. >=20 > Please may you expand on what you really mean here? I was under the impre= ssion > 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 ex= ample one > routine to do that in portupgrade. Or do you have something more sophisti= cated in mind? >=20 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 confli= cts by changing the ordering automatically, like offerting the ability to depen= ds 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 --ReaqsoxgOBHFXBhH Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.18 (FreeBSD) iEYEARECAAYFAk8nyZwACgkQ8kTtMUmk6EzN5ACeMVK8Bi2njrT2SWl60ePkXwU8 f44AoJS1yVrsOWHqa+YShHcWURyYUdaK =dYut -----END PGP SIGNATURE----- --ReaqsoxgOBHFXBhH--