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
This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:40:58 UTC