On Thu, Jan 10, 2013 at 4:32 PM, P Purkayastha <ppu...@gmail.com> wrote: > On 01/11/2013 02:46 AM, Robert Bradshaw wrote: >> >> On Thu, Jan 10, 2013 at 6:25 AM, Jeroen Demeyer <jdeme...@cage.ugent.be> >> wrote: >>> >>> On 2013-01-09 17:13, Jeroen Demeyer wrote: >>>> >>>> There is a discussion going on at #13032 about the configuration of >>>> ccache within Sage. ccache is a program which caches object files >>>> produced by a compiler and which can considerably speed up compilation >>>> if the same file is compiled more than once (e.g. when building >>>> sage-5.6.beta3 after building sage-5.6.beta2). There is an optional Sage >>>> package for ccache. >>>> >>>> The problematic question is: where should the cache files (i.e. the >>>> files produced by ccache) be stored by default? These are the >>>> possibilities: >>>> (1) The ccache default directory: $HOME/.ccache >>>> (2) Inside .sage: $HOME/.sage/ccache >>>> (3) Compromise: (1) if using a system-wide ccache installation, (2) when >>>> using the ccache optional spkg. >>> >>> >>> Is anybody against implementing (3)? I believe it gives us the best of >>> both worlds: it won't bother people already using ccache and it will >>> keep the people happy who are using the ccache spkg and who want Sage to >>> be as self-contained as possible. >> >> >> I am not opposed to this. Lets get the package in; if we need to >> revise where the default cache sits at some later date based on how it >> actually gets used we can do so then. >> >> - Robert > > Given that ccache will take up a sizable portion of your disk space (if you > started using it), I think it is important to finalize the directory now > rather than at some later update of Sage.
If 1G, or even 4G, is a sizable portion of your disk space, your disk is really small and you shouldn't be using ccache at all... If we use our own cache somewhere, we can always purge it when we move it, and if we use the common one it'll get collected by the user and/or other compilations over time, so changing our minds later isn't that big of a deal. - Robert -- 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.
