Date: Wed, 01 Jul 2015 13:36:14 +0200 From: Hans Petter Selasky <hps@selasky.org> To: Slawa Olhovchenkov <slw@zxy.spb.ru>, Baptiste Daroussin <bapt@FreeBSD.org> Cc: ports@FreeBSD.org, current@FreeBSD.org, stable@FreeBSD.org Subject: Re: pkg 1.5.0 is out Message-ID: <5593D0AE.2010205@selasky.org> In-Reply-To: <20150421103454.GR1394@zxy.spb.ru> References: <20150414200459.GE39658@ivaldir.etoilebsd.net> <20150421103454.GR1394@zxy.spb.ru>
next in thread | previous in thread | raw e-mail | index | archive | help
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 --HPS
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?5593D0AE.2010205>