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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 181 bytes
Desc: not available
URL:
<http://lists.freebsd.org/pipermail/freebsd-stable/attachments/20150701/14404d78/attachment.bin>