Date: Wed, 1 Jul 2015 13:38:47 +0200 From: Baptiste Daroussin <bapt@FreeBSD.org> To: Hans Petter Selasky <hps@selasky.org> Cc: Slawa Olhovchenkov <slw@zxy.spb.ru>, ports@FreeBSD.org, current@FreeBSD.org, stable@FreeBSD.org Subject: Re: pkg 1.5.0 is out Message-ID: <20150701113847.GA15161@ivaldir.etoilebsd.net> In-Reply-To: <5593D0AE.2010205@selasky.org> References: <20150414200459.GE39658@ivaldir.etoilebsd.net> <20150421103454.GR1394@zxy.spb.ru> <5593D0AE.2010205@selasky.org>
next in thread | previous in thread | raw e-mail | index | archive | help
[-- Attachment #1 --] On Wed, Jul 01, 2015 at 01:36:14PM +0200, Hans Petter Selasky wrote: > On 04/21/15 12:34, Slawa Olhovchenkov wrote: > > On Tue, Apr 14, 2015 at 10:05:00PM +0200, Baptiste Daroussin wrote: > > > >> Hi all, > >> > >> Final pkg 1.5.0 has been released. > > > > Hi, > > Is there a way the external SAT solver functionality can be memory > optimised? When trying to use this feature having +750 packages > installed, the memory usage starts growing and growing beyond 4GBytes > until PKG segfaults, even before the CNF export has started. > > env SAT_SOLVER=mysolver pkg upgrade Probably, but given the little amount of time pkg developers has we will greatly appreciate patches :) AKA this would be greatly appreciated, but very low on the priority list :( Best regards, Bapt [-- Attachment #2 --] -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iEYEARECAAYFAlWT0UcACgkQ8kTtMUmk6Ex8/gCeMHpS4q0e9V6xVa8aCj9uSPLO U1kAoLiweMzu0Lz1lZYjC9Vr4lxOCJuN =4AiX -----END PGP SIGNATURE-----
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20150701113847.GA15161>