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.


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


freebsd-current@freebsd.org mailing list
To unsubscribe, send any mail to "freebsd-current-unsubscr...@freebsd.org"

Reply via email to