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.
--
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.
