On Thursday, January 10, 2013 9:33:24 AM UTC+1, Jeroen Demeyer wrote: > > On 2013-01-09 22:39, Robert Bradshaw wrote: > > Is 1G an acceptable default for Sage? (I.e is it sufficient for a full > > Sage build (plus some branching) plus a fair amount of other stuff? > Most likely not, I think. But even if the cache is only 1GB, it can > never make things *worse* than without ccache. And 1GB is surely enough > for the Sage library such that branching would still be fast. > > This might an argument in favour of (3): if ccache already exists, > assume the user knows best (he might have configured a larger cache). If > ccache doesn't exist on the system, then it doesn't matter that much > where we put the cache files, so we might as well configure them > specifically for Sage with a known cache size of 4GB. > I would be in favour of such a solution, even though depending on the fact that ccache is installed or not system-wide adds a little bit of complexity.
-- You received this message because you are subscribed to the Google Groups "sage-devel" group. To post to this group, send email to sage-devel@googlegroups.com. To unsubscribe from this group, send email to sage-devel+unsubscr...@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel?hl=en.
