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. Arguments in favour of (1): * Allows sharing of cache files between Sage and non-Sage compilations (say, I compile PARI outside of Sage). * If the user already uses ccache, respects the cache size (or other ccache configuration) set by that user. Arguments in favour of (2): * All possible artefacts of building/running Sage are contained in $SAGE_ROOT, /tmp and $DOT_SAGE, making clean-up easy. * Compartmentalization: Sage should be a "sandbox" environment as much as possible separated from the rest of the system. Currently, the default is (2) but I vote for (1) or (3). Jeroen. -- 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.
