Skip site navigation (1)Skip section navigation (2)
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

--6TrnltStXW4iwmi0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

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.
> >
>=20
> Hi,
>=20
> Is there a way the external SAT solver functionality can be memory=20
> optimised? When trying to use this feature having +750 packages=20
> installed, the memory usage starts growing and growing beyond 4GBytes=20
> until PKG segfaults, even before the CNF export has started.
>=20
> env SAT_SOLVER=3Dmysolver pkg upgrade

Probably, but given the little amount of time pkg developers has we will gr=
eatly
appreciate patches :)

AKA this would be greatly appreciated, but very low on the priority list :(

Best regards,
Bapt

--6TrnltStXW4iwmi0
Content-Type: application/pgp-signature

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iEYEARECAAYFAlWT0UcACgkQ8kTtMUmk6Ex8/gCeMHpS4q0e9V6xVa8aCj9uSPLO
U1kAoLiweMzu0Lz1lZYjC9Vr4lxOCJuN
=4AiX
-----END PGP SIGNATURE-----

--6TrnltStXW4iwmi0--



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20150701113847.GA15161>