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
_______________________________________________
freebsd-current@freebsd.org mailing list
http://lists.freebsd.org/mailman/listinfo/freebsd-current
To unsubscribe, send any mail to "freebsd-current-unsubscr...@freebsd.org"
